Move COMMIT_DATE

This commit is contained in:
Alex Beregszaszi 2017-05-24 11:03:38 +01:00
parent e9b106cd0e
commit e12b990038

View File

@ -34,6 +34,10 @@ 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/
@ -87,8 +91,6 @@ EOF
eval `ssh-agent -s`
ssh-add deploy_key
COMMIT_DATE=$(cd "$REPO_ROOT" && git show -s --format="%cd" --date=short "$TRAVIS_COMMIT")
git clone --depth 2 git@github.com:ethereum/solidity-test-bytecode.git
cd solidity-test-bytecode
git config user.name "travis"