keep using `.xpi` for webext

This commit is contained in:
gorhill 2017-04-02 10:55:50 -04:00
parent c0b0afadec
commit e420db1f1f
No known key found for this signature in database
GPG Key ID: 25E1490B761470C2
2 changed files with 2 additions and 2 deletions

View File

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

View File

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