diff options
author | gorhill <rhill@raymondhill.net> | 2015-01-14 19:43:19 -0500 |
---|---|---|
committer | gorhill <rhill@raymondhill.net> | 2015-01-14 19:43:19 -0500 |
commit | f7197cd9c8878f035e3ec54aa4a7efbc68f7daaf (patch) | |
tree | ade33bf1ae15cb9dcdfa226e921b074eca332159 /tools | |
parent | 119a98026c49714ac8c9b3547640763d78cb22f5 (diff) | |
parent | dfbf5e71e09b3a99f36058419d8881915eca03e3 (diff) | |
download | uBlock-f7197cd9c8878f035e3ec54aa4a7efbc68f7daaf.zip uBlock-f7197cd9c8878f035e3ec54aa4a7efbc68f7daaf.tar.gz uBlock-f7197cd9c8878f035e3ec54aa4a7efbc68f7daaf.tar.bz2 |
Merge branch 'master' of github.com:gorhill/uBlock
Diffstat (limited to 'tools')
-rwxr-xr-x | tools/make-safari.sh | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/tools/make-safari.sh b/tools/make-safari.sh index 4e95e28..626afed 100755 --- a/tools/make-safari.sh +++ b/tools/make-safari.sh @@ -25,4 +25,11 @@ cp LICENSE.txt $DES/ echo "*** uBlock.safariextension: Generating meta..." python tools/make-safari-meta.py $DES/ +if [ "$1" = all ]; then + echo "*** uBlock.safariextension: Creating package..." + pushd $DES/ + zip ../uBlock.safari.safariextension -qr * + popd +fi + echo "*** uBlock.safariextension: Package done." |