diff options
Diffstat (limited to '.gitlab/ci.sh')
| -rwxr-xr-x | .gitlab/ci.sh | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/.gitlab/ci.sh b/.gitlab/ci.sh index 776eff3a4a..c30f5ec846 100755 --- a/.gitlab/ci.sh +++ b/.gitlab/ci.sh @@ -25,7 +25,10 @@ function time_it() { shift local start=$(date +%s) local res=0 - $@ || res=$? + set +e + ( set -e ; $@ ) + res=$? + set -e local end=$(date +%s) local delta=$(expr $end - $start) |