diff options
-rwxr-xr-x | init | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -13,8 +13,8 @@ cp $obj2 /root | |||
13 | cd /root | 13 | cd /root |
14 | if [ -z $(echo $CFLAGS | grep -o -E -- '( |^)-g( |$)') ]; then | 14 | if [ -z $(echo $CFLAGS | grep -o -E -- '( |^)-g( |$)') ]; then |
15 | # Release build, delete docs/ and tests/ | 15 | # Release build, delete docs/ and tests/ |
16 | zip -d $obj1 docs/ docs/* tests/ tests/* | 16 | zip -d $obj1 doc/ doc/* |
17 | zip -d $obj2 docs/ docs/* tests/ tests/* | 17 | zip -d $obj2 doc/ doc/* |
18 | # And pack the library with upx | 18 | # And pack the library with upx |
19 | unzip $obj1 lib/* | 19 | unzip $obj1 lib/* |
20 | upx --no-progress lib/* | 20 | upx --no-progress lib/* |