diff options
| author | Pixel <pixel@nobis-crew.org> | 2009-11-05 21:01:59 +0100 |
|---|---|---|
| committer | Pixel <pixel@nobis-crew.org> | 2009-11-05 21:01:59 +0100 |
| commit | fa78de64bba8edf87bf9f99cc7ef40af5b2a5f2b (patch) | |
| tree | 8900195782d302c119baaaa5d5475f581e0c4890 | |
| parent | f99a99358e4c840ca3335a0809e58d55769bea7b (diff) | |
Stripping...
| -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 |