diff options
author | hackademix | 2019-03-28 13:00:41 +0100 |
---|---|---|
committer | hackademix | 2019-03-28 13:04:36 +0100 |
commit | a8b35486571933043bb62e90076436dff2a34cd2 (patch) | |
tree | 8e1b0b4ce8b6cb8f1b3f2149f3866fdd3ea57aa4 | |
parent | 661a2a436bfac1bb1d4f3b235d1bf26b00135d00 (diff) | |
download | noscript-a8b35486571933043bb62e90076436dff2a34cd2.tar.gz noscript-a8b35486571933043bb62e90076436dff2a34cd2.tar.xz noscript-a8b35486571933043bb62e90076436dff2a34cd2.zip |
Keep the built .zip file for chrome web store submission.
-rw-r--r-- | build.sh | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -108,7 +108,7 @@ if [ -f "$SIGNED" ]; then mv "$SIGNED" "$XPI.xpi" ../../we-publish "$XPI.xpi" elif [ -f "$XPI.zip" ]; then - mv "$XPI.zip" "$XPI.xpi" + cp "$XPI.zip" "$XPI.xpi" else echo >&2 "ERROR: Could not create $XPI.xpi!" exit 3 |