diff options
| author | chriseth <chris@ethereum.org> | 2016-08-12 00:27:08 +0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-08-12 00:27:08 +0800 |
| commit | c26bb83ec266cff29a5c2483838f49c8798cdfcb (patch) | |
| tree | 168cc5841a0ad760e2990536e8d1e6d92ad53325 | |
| parent | f2bec51a96ef8f26d06d171dc7566b205b35acb3 (diff) | |
| parent | 2561b73a40d1df965d9253468824326ec7e2bac4 (diff) | |
| download | dexon-solidity-c26bb83ec266cff29a5c2483838f49c8798cdfcb.tar.gz dexon-solidity-c26bb83ec266cff29a5c2483838f49c8798cdfcb.tar.zst dexon-solidity-c26bb83ec266cff29a5c2483838f49c8798cdfcb.zip | |
Merge pull request #870 from chriseth/fixppa
Debug publishing.
| -rwxr-xr-x | scripts/travis-emscripten/publish_binary.sh | 15 |
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 |