Use actual hash.

This commit is contained in:
chriseth 2017-05-29 15:53:15 +02:00
parent 002df12d13
commit 6d8afab928

View File

@ -93,7 +93,7 @@ EOF
git config user.email "chris@ethereum.org" git config user.email "chris@ethereum.org"
git clean -f -d -x git clean -f -d -x
DIRNAME=$(cd "$REPO_ROOT" && git show -s --format="%cd-H" --date=short) DIRNAME=$(cd "$REPO_ROOT" && git show -s --format="%cd-%H" --date=short)
mkdir -p "$DIRNAME" mkdir -p "$DIRNAME"
REPORT="$DIRNAME/$ZIP_SUFFIX.txt" REPORT="$DIRNAME/$ZIP_SUFFIX.txt"
cp ../report.txt "$REPORT" cp ../report.txt "$REPORT"