From 82ba5c9615888af52ed7e537024ad17632b23081 Mon Sep 17 00:00:00 2001 From: chriseth Date: Sat, 17 Sep 2016 18:17:57 +0200 Subject: Fix problem that caused multiple binaries per day. --- scripts/travis-emscripten/publish_binary.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/travis-emscripten/publish_binary.sh b/scripts/travis-emscripten/publish_binary.sh index d372995c..b409ad78 100755 --- a/scripts/travis-emscripten/publish_binary.sh +++ b/scripts/travis-emscripten/publish_binary.sh @@ -55,7 +55,7 @@ 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. -if ls ./bin/soljson-"$VER-nightly.$DATE"-*.js || ls ./bin/soljson-*"commit.$COMMIT.js" +if ls ./bin/soljson-"$VER-nightly.$DATE"*.js || ls ./bin/soljson-*"commit.$COMMIT.js" then echo "Not publishing, we already published this version today." exit 0 -- cgit v1.2.3