diff options
| -rwxr-xr-x | compilation | 2 | 
1 files changed, 2 insertions, 0 deletions
diff --git a/compilation b/compilation index fd35bc1..47892ba 100755 --- a/compilation +++ b/compilation @@ -147,5 +147,7 @@ mv lua-interface win32  mv win32-light lua-interface-light  i586-mingw32msvc-strip --strip-unneeded lua-interface-light/* +i586-mingw32msvc-strip lua-interface-light/*.exe +rm lua-interface/lua-interface-light.dll  zip -r lua-interface-win32-light.zip lua-interface-light  mv lua-interface-light win32-light  | 
