diff options
| author | chriseth <chris@ethereum.org> | 2017-07-04 00:25:37 +0800 |
|---|---|---|
| committer | chriseth <chris@ethereum.org> | 2017-07-04 00:25:37 +0800 |
| commit | 066e995bbdb47a8c59326412ae03106eb550f4b1 (patch) | |
| tree | 9f066f4b9946aa7c1dd0f506bd12383caa3b79eb /scripts | |
| parent | 76d3b7c5a160e1f550c710e6850ee6f116142ca1 (diff) | |
| download | dexon-solidity-066e995bbdb47a8c59326412ae03106eb550f4b1.tar.gz dexon-solidity-066e995bbdb47a8c59326412ae03106eb550f4b1.tar.zst dexon-solidity-066e995bbdb47a8c59326412ae03106eb550f4b1.zip | |
Only push to bytecode repository if there is something to push.
Diffstat (limited to 'scripts')
| -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 |