diff options
author | Zubin Duggal <zubin.duggal@gmail.com> | 2022-01-18 18:55:40 +0530 |
---|---|---|
committer | Zubin Duggal <zubin.duggal@gmail.com> | 2022-01-18 18:55:40 +0530 |
commit | 6d600756f02d807c40bcba5c8d7d3ebc7d1d7382 (patch) | |
tree | b82ddef048cbf331f66e11f43290359c080d4fc9 | |
parent | a13aff98cfccddee285b6550dd08c6ec1a3c4e17 (diff) | |
download | haskell-6d600756f02d807c40bcba5c8d7d3ebc7d1d7382.tar.gz |
ci: Fix subtlety with not taking effect because of time_it (#20898)wip/ci-fail
-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) |