File tree Expand file tree Collapse file tree 1 file changed +4
-0
lines changed Expand file tree Collapse file tree 1 file changed +4
-0
lines changed Original file line number Diff line number Diff line change @@ -405,7 +405,9 @@ jobs:
405405
406406 - name : configure serial debug
407407 run : |
408+ set +e # revert the default `set -e`
408409 ./configure --enable-debug --without-mpi FC=ifx CC=icc
410+ if [[ $? -ne 0 ]]; then echo "configuration failed:"; cat config.log; echo ""; echo "exiting..."; exit 1; fi
409411
410412 - name : make serial debug
411413 run : |
@@ -424,7 +426,9 @@ jobs:
424426
425427 - name : configure parallel debug
426428 run : |
429+ set +e # revert the default `set -e`
427430 ./configure --enable-debug --with-mpi FC=ifx CC=icx MPIFC=mpiifx MPI_INC="${I_MPI_ROOT}/include"
431+ if [[ $? -ne 0 ]]; then echo "configuration failed:"; cat config.log; echo ""; echo "exiting..."; exit 1; fi
428432
429433 - name : make parallel debug
430434 run : |
You can’t perform that action at this time.
0 commit comments