From 0ca941942b78aaa4b9b71b0fccc41d2cfdb9551a Mon Sep 17 00:00:00 2001 From: chriseth Date: Wed, 24 May 2017 14:36:46 +0200 Subject: Use HEAD for report directory name --- scripts/bytecodecompare/storebytecode.sh | 12 ++++-------- 1 file 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" -- cgit v1.2.3