ensure a rebuild of include/nhlua.h after fetching Lua source

diff --git a/sys/unix/Makefile.top b/sys/unix/Makefile.top
index 53fc5dbaf6c88dd4bc3044c4dd5d76081269b814..969f3e4d5b9b578dde19d48d6deb9df7415bbeed 100644 (file)
--- a/sys/unix/Makefile.top
+++ b/sys/unix/Makefile.top
@@ -270,6 +270,8 @@ fetch-Lua:
        ( mkdir -p lib && cd lib && \
          curl -R -O http://www.lua.org/ftp/lua-$(LUA_VERSION).tar.gz && \
          tar zxf lua-$(LUA_VERSION).tar.gz && rm -f lua-$(LUA_VERSION).tar.gz )
+#if we just fetched lua, force include/nhlua.h to be built based on it
+       -rm include/nhlua.h
 
 update: $(GAME) recover $(VARDAT) spec_levs
 #      (don't yank the old version out from under people who're playing it)