new LUA_USERCONFIG to include user options

2002-08-13 12:04:59 -03:00 · 2002-08-13 12:04:59 -03:00 · a048d71ef3
parent 27f8a4a69e
commit a048d71ef3
1 changed files with 9 additions and 1 deletions
--- 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