From 6d600756f02d807c40bcba5c8d7d3ebc7d1d7382 Mon Sep 17 00:00:00 2001
From: Zubin Duggal <zubin.duggal@gmail.com>
Date: Tue, 18 Jan 2022 18:55:40 +0530
Subject: ci: Fix subtlety with  not taking effect because of time_it (#20898)

---
 .gitlab/ci.sh | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

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)
 
-- 
cgit v1.2.1