File tree Expand file tree Collapse file tree 1 file changed +8
-2
lines changed Expand file tree Collapse file tree 1 file changed +8
-2
lines changed Original file line number Diff line number Diff line change @@ -42,11 +42,17 @@ for version in ${GCC}; do
4242 -DCMAKE_BUILD_TYPE:STRING=" ${BUILD_TYPE} " \
4343 ..
4444 make -j 4
45- printf ' \nDone compiling OpenCoarrays and tests!\n\n '
45+ printf ' \nDone compiling OpenCoarrays and tests!\n'
4646 CTEST_FLAGS=(--output-on-failure --schedule-random --repeat-until-fail " ${NREPEAT:- 5} " --timeout " ${TEST_TIMEOUT:- 200} " )
47+ printf " \nctest flags: %s\n" " ${CTEST_FLAGS[*]} "
4748 if [[ " ${BUILD_TYPE} " =~ Deb ]]; then
48- ctest " ${CTEST_FLAGS[@]} " > " ${BUILD_TYPE} .log" || cat " ${BUILD_TYPE} .log"
49+ printf " \nRunning ctest for a debug build...\n\n"
50+ if ! ctest " ${CTEST_FLAGS[@]} " > " ${BUILD_TYPE} .log" ; then
51+ cat " ${BUILD_TYPE} .log"
52+ false
53+ fi
4954 else
55+ printf " \nRunning ctest for a non-debug build...\n\n"
5056 ctest " ${CTEST_FLAGS[@]} "
5157 fi
5258 make install
You can’t perform that action at this time.
0 commit comments