aboutsummaryrefslogtreecommitdiffstats
path: root/scripts/travis-emscripten
diff options
context:
space:
mode:
Diffstat (limited to 'scripts/travis-emscripten')
-rwxr-xr-xscripts/travis-emscripten/publish_binary.sh15
1 files changed, 5 insertions, 10 deletions
diff --git a/scripts/travis-emscripten/publish_binary.sh b/scripts/travis-emscripten/publish_binary.sh
index bf30ba0c..3cade4c9 100755
--- a/scripts/travis-emscripten/publish_binary.sh
+++ b/scripts/travis-emscripten/publish_binary.sh
@@ -52,16 +52,11 @@ git config user.email "chris@ethereum.org"
git checkout -B gh-pages origin/gh-pages
git clean -f -d -x
# We only want one release per day and we do not want to push the same commit twice.
-set -v
-pwd
-ls
-ls ./bin/soljson-"$VER-$DATE"-*.js ./bin/soljson-*-"$COMMIT.js"
-
-for f in ./bin/soljson-"$VER-$DATE"-*.js ./bin/soljson-*-"$COMMIT.js"
-do
- ls "$f"
- [ -f "$f" ] && echo "Not publishing, we already published this version today." && exit 0
-done
+if ls ./bin/soljson-"$VER-$DATE"-*.js || ls ./bin/soljson-*-"$COMMIT.js"
+then
+ echo "Not publishing, we already published this version today."
+ exit 0
+fi
echo "Would have published."
# disable publishing for now