summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRoberto Ierusalimschy <roberto@inf.puc-rio.br>2002-08-13 12:04:59 -0300
committerRoberto Ierusalimschy <roberto@inf.puc-rio.br>2002-08-13 12:04:59 -0300
commita048d71ef38af8110eca2155e40ec167b9a9ca8b (patch)
tree47a028a4daccc1d72442a84eaae48720b0f6b211
parent27f8a4a69e15bc9e1ca98db87d10b19c582c6fd3 (diff)
downloadlua-github-a048d71ef38af8110eca2155e40ec167b9a9ca8b.tar.gz
new LUA_USERCONFIG to include user options
-rw-r--r--lua.c10
1 files changed, 9 insertions, 1 deletions
diff --git a/lua.c b/lua.c
index 643e8e79..85ce0803 100644
--- a/lua.c
+++ b/lua.c
@@ -1,5 +1,5 @@
/*
-** $Id: lua.c,v 1.101 2002/08/08 20:08:41 roberto Exp roberto $
+** $Id: lua.c,v 1.102 2002/08/12 17:23:12 roberto Exp roberto $
** Lua stand-alone interpreter
** See Copyright Notice in lua.h
*/
@@ -16,6 +16,14 @@
#include "lualib.h"
+/*
+** generic extra include file
+*/
+#ifdef LUA_USERCONFIG
+#include LUA_USERCONFIG
+#endif
+
+
#ifdef _POSIX_SOURCE
#include <unistd.h>
#else