diff options
Diffstat (limited to 'init')
| -rwxr-xr-x | init | 2 |
1 files changed, 1 insertions, 1 deletions
| @@ -9,7 +9,7 @@ cd /root | |||
| 9 | if [ -z $(echo $CFLAGS | grep -o -E -- '( |^)-g( |$)') ]; then | 9 | if [ -z $(echo $CFLAGS | grep -o -E -- '( |^)-g( |$)') ]; then |
| 10 | # Release build, delete docs/ and tests/ | 10 | # Release build, delete docs/ and tests/ |
| 11 | zip -d $obj docs/ docs/* tests/ tests/* | 11 | zip -d $obj docs/ docs/* tests/ tests/* |
| 12 | # And pack the library | 12 | # And pack the library with upx |
| 13 | unzip $obj lib/* | 13 | unzip $obj lib/* |
| 14 | upx lib/* | 14 | upx lib/* |
| 15 | zip -r -u $obj lib | 15 | zip -r -u $obj lib |
