# HG changeset patch
# User jbe
# Date 1406769549 -7200
# Node ID 88b613f5bc22fcbf5b7044357470af8418433ce1
# Parent  185e944182cb488c9e482b4f08bb08af2f9d1d47
Restored accidentally modified Makefile.options file

diff -r 185e944182cb -r 88b613f5bc22 Makefile.options
--- a/Makefile.options	Thu Jul 31 03:18:04 2014 +0200
+++ b/Makefile.options	Thu Jul 31 03:19:09 2014 +0200
@@ -8,13 +8,13 @@
 SLIB_EXT = so
 
 # Lua binaries
-LUA_BIN = lua52
-LUAC_BIN = luac52
+LUA_BIN = lua
+LUAC_BIN = luac
 
 # C compiler flags
 # TODO: check alternatives to -D_GNU_SOURCE -fPIC
 #       using libtool?
-CFLAGS = -g -O0 -D_GNU_SOURCE -fPIC -Wall -I /usr/include -I /usr/local/include -I /usr/local/include/lua52
+CFLAGS = -O2 -D_GNU_SOURCE -fPIC -Wall -I /usr/include -I /usr/local/include -I /usr/local/include/lua52
 
 # additional C compiler flags for parts which depend on PostgreSQL
 CFLAGS_PGSQL = -I /usr/local/include/postgresql -I /usr/local/include/postgresql/server