diff options
author | chriseth <chris@ethereum.org> | 2017-07-04 00:45:11 +0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-07-04 00:45:11 +0800 |
commit | 194ff033ae44944ac59aa7bd3da89ba94ec5893c (patch) | |
tree | 9f066f4b9946aa7c1dd0f506bd12383caa3b79eb | |
parent | 76d3b7c5a160e1f550c710e6850ee6f116142ca1 (diff) | |
parent | 066e995bbdb47a8c59326412ae03106eb550f4b1 (diff) | |
download | dexon-solidity-194ff033ae44944ac59aa7bd3da89ba94ec5893c.tar.gz dexon-solidity-194ff033ae44944ac59aa7bd3da89ba94ec5893c.tar.zst dexon-solidity-194ff033ae44944ac59aa7bd3da89ba94ec5893c.zip |
Merge pull request #2513 from ethereum/onlyPushIfSomethingToPush
Only push to bytecode repository if there is something to push.
-rwxr-xr-x | scripts/bytecodecompare/storebytecode.sh | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/scripts/bytecodecompare/storebytecode.sh b/scripts/bytecodecompare/storebytecode.sh index 564de3f8..8d4100bf 100755 --- a/scripts/bytecodecompare/storebytecode.sh +++ b/scripts/bytecodecompare/storebytecode.sh @@ -98,9 +98,8 @@ EOF REPORT="$DIRNAME/$ZIP_SUFFIX.txt" cp ../report.txt "$REPORT" # Only push if adding actually worked, i.e. there were changes. - if git add "$REPORT" + if git add "$REPORT" && git commit -a -m "Added report $REPORT" then - git commit -a -m "Added report $REPORT" git pull --rebase git push origin else |