# HG changeset patch
# User jbe
# Date 1427225556 -3600
# Node ID e662554bbc2a7b20a920df5abc6b8cd61a18f250
# Parent  3687294cb9558916a4742b3b0897c3f458891e50
Restored accidentally modified Makefile.options file

diff -r 3687294cb955 -r e662554bbc2a Makefile.options
--- a/Makefile.options	Tue Mar 24 19:57:54 2015 +0100
+++ b/Makefile.options	Tue Mar 24 20:32:36 2015 +0100
@@ -8,8 +8,8 @@
 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