diff options
| -rwxr-xr-x | compilation | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/compilation b/compilation index 7448983..d742340 100755 --- a/compilation +++ b/compilation @@ -117,13 +117,16 @@ cp lua-interface-distrib/win32/zlib1.dll lua-interface-distrib/win32-light cd lua-interface-distrib mv linux lua-interface +strip --strip-unneeded lua-interface/* zip -r lua-interface-linux.zip lua-interface mv lua-interface linux mv win32 lua-interface +i586-mingw32msvc-strip --strip-unneeded lua-interface/* zip -r lua-interface-win32.zip lua-interface mv lua-interface win32 mv win32-light lua-interface-light +i586-mingw32msvc-strip --strip-unneeded lua-interface-light/* zip -r lua-interface-win32-light.zip lua-interface-light mv lua-interface-light win32-light |