diff options
Diffstat (limited to 'scripts/travis-emscripten/publish_binary.sh')
| -rwxr-xr-x | scripts/travis-emscripten/publish_binary.sh | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/scripts/travis-emscripten/publish_binary.sh b/scripts/travis-emscripten/publish_binary.sh index f44b1210..bf30ba0c 100755 --- a/scripts/travis-emscripten/publish_binary.sh +++ b/scripts/travis-emscripten/publish_binary.sh @@ -52,11 +52,21 @@ 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 +echo "Would have published." +# disable publishing for now +exit 0 + # This file is assumed to be the product of the build_emscripten.sh script. cp ../soljson.js ./bin/"soljson-$VER-$DATE-$COMMIT.js" ./update-index.sh |