new LUA_USERCONFIG to include user options

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