From a048d71ef38af8110eca2155e40ec167b9a9ca8b Mon Sep 17 00:00:00 2001
From: Roberto Ierusalimschy <roberto@inf.puc-rio.br>
Date: Tue, 13 Aug 2002 12:04:59 -0300
Subject: new LUA_USERCONFIG to include user options

---
 lua.c | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

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
-- 
cgit v1.2.3-55-g6feb