From 14e22dc942290893143ea3304ed7e8b28dd03d00 Mon Sep 17 00:00:00 2001 From: Matthias Volk Date: Tue, 20 Nov 2018 17:31:35 +0100 Subject: [PATCH] Travis: Better output for build type checks --- travis/build_helper.sh | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/travis/build_helper.sh b/travis/build_helper.sh index 1ae396c14..f44b2feb2 100755 --- a/travis/build_helper.sh +++ b/travis/build_helper.sh @@ -61,13 +61,14 @@ run() { travis_fold end test_all # Check correctness of build types + echo "Checking correctness of build types" case "$CONFIG" in DefaultDebug*) - ./bin/storm --version | grep "with flags .* -g" + ./bin/storm --version | grep "with flags .* -g" || (echo "Error: Missing flag '-g' for debug build." && return 1) ;; DefaultRelease*) - ./bin/storm --version | grep "with flags .* -O3" - ./bin/storm --version | grep "with flags .* -DNDEBUG" + ./bin/storm --version | grep "with flags .* -O3" || (echo "Error: Missing flag '-O3' for release build." && return 1) + ./bin/storm --version | grep "with flags .* -DNDEBUG" || (echo "Error: Missing flag '-DNDEBUG' for release build." && return 1) ;; *) echo "Unrecognized value of CONFIG: $CONFIG"; exit 1