From 797ce727bb7284cd4fa99fab677ca24d16f51a02 Mon Sep 17 00:00:00 2001 From: chriseth Date: Tue, 17 Apr 2018 08:53:21 +0200 Subject: Report failed commandline tests. --- scripts/tests.sh | 20 ++++++++++++++++---- 1 file changed, 16 insertions(+), 4 deletions(-) diff --git a/scripts/tests.sh b/scripts/tests.sh index 425a4ff4..38073bf3 100755 --- a/scripts/tests.sh +++ b/scripts/tests.sh @@ -42,13 +42,21 @@ else log_directory="" fi -echo "Running commandline tests..." +function printError() { echo "$(tput setaf 1)$1$(tput sgr0)"; } +function printTask() { echo "$(tput bold)$(tput setaf 2)$1$(tput sgr0)"; } + + +printTask "Running commandline tests..." "$REPO_ROOT/test/cmdlineTests.sh" & CMDLINE_PID=$! # Only run in parallel if this is run on CI infrastructure if [ -z "$CI" ] then - wait $CMDLINE_PID + if ! wait $CMDLINE_PID + then + printError "Commandline tests FAILED" + exit 1 + fi fi function download_eth() @@ -112,7 +120,7 @@ for optimize in "" "--optimize" do for vm in $EVM_VERSIONS do - echo "--> Running tests using "$optimize" --evm-version "$vm"..." + printTask "--> Running tests using "$optimize" --evm-version "$vm"..." log="" if [ -n "$log_directory" ] then @@ -127,7 +135,11 @@ do done done -wait $CMDLINE_PID +if ! wait $CMDLINE_PID +then + printError "Commandline tests FAILED" + exit 1 +fi pkill "$ETH_PID" || true sleep 4 -- cgit v1.2.3