diff options
author | chriseth <chris@ethereum.org> | 2017-05-24 20:36:46 +0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-05-24 20:36:46 +0800 |
commit | 0ca941942b78aaa4b9b71b0fccc41d2cfdb9551a (patch) | |
tree | c81bd288fb13dd85a6cc914bbf83d7d1745735a2 /scripts/bytecodecompare | |
parent | e12b9900380780d2fb3edab21cbfabdc45ecfdfe (diff) | |
download | dexon-solidity-0ca941942b78aaa4b9b71b0fccc41d2cfdb9551a.tar.gz dexon-solidity-0ca941942b78aaa4b9b71b0fccc41d2cfdb9551a.tar.zst dexon-solidity-0ca941942b78aaa4b9b71b0fccc41d2cfdb9551a.zip |
Use HEAD for report directory name
Diffstat (limited to 'scripts/bytecodecompare')
-rwxr-xr-x | scripts/bytecodecompare/storebytecode.sh | 12 |
1 files changed, 4 insertions, 8 deletions
diff --git a/scripts/bytecodecompare/storebytecode.sh b/scripts/bytecodecompare/storebytecode.sh index 057eaf0c..653c86ba 100755 --- a/scripts/bytecodecompare/storebytecode.sh +++ b/scripts/bytecodecompare/storebytecode.sh @@ -34,10 +34,6 @@ TMPDIR=$(mktemp -d) ( cd "$REPO_ROOT" REPO_ROOT=$(pwd) # make it absolute - - echo "Running for commit $TRAVIS_COMMIT" - COMMIT_DATE=$(git show -s --format="%cd" --date=short "$TRAVIS_COMMIT") - cd "$TMPDIR" "$REPO_ROOT"/scripts/isolate_tests.py "$REPO_ROOT"/test/ @@ -97,9 +93,9 @@ EOF git config user.email "chris@ethereum.org" git clean -f -d -x - DIRECTORY=$COMMIT_DATE"_"$TRAVIS_COMMIT - mkdir -p "$DIRECTORY" - REPORT="$DIRECTORY/$ZIP_SUFFIX.txt" + DIRNAME=$(cd "$REPO_ROOT" && git show -s --format="%cd-H" --date=short) + mkdir -p "$DIRNAME" + REPORT="$DIRNAME/$ZIP_SUFFIX.txt" cp ../report.txt "$REPORT" # Only push if adding actually worked, i.e. there were changes. if git add "$REPORT" @@ -112,4 +108,4 @@ EOF fi fi ) -rm -rf "$TMPDIR"
\ No newline at end of file +rm -rf "$TMPDIR" |