use xpi instead of zip for webext

pull/2/head
gorhill 9 years ago
parent 40cc80371b
commit ef172bcf81

@ -3,7 +3,7 @@ env:
matrix: matrix:
- BROWSER=chromium EXT=zip - BROWSER=chromium EXT=zip
- BROWSER=firefox EXT=xpi - BROWSER=firefox EXT=xpi
- BROWSER=webext EXT=zip - BROWSER=webext EXT=xpi
script: ./tools/make-${BROWSER}.sh all script: ./tools/make-${BROWSER}.sh all
deploy: deploy:
provider: releases provider: releases

@ -31,7 +31,7 @@ python tools/make-webext-meta.py $DES/
if [ "$1" = all ]; then if [ "$1" = all ]; then
echo "*** uMatrix.webext: Creating package..." echo "*** uMatrix.webext: Creating package..."
pushd $DES > /dev/null pushd $DES > /dev/null
zip ../$(basename $DES).zip -qr * zip ../$(basename $DES).xpi -qr *
popd > /dev/null popd > /dev/null
fi fi

Loading…
Cancel
Save