Skip to content
Snippets Groups Projects
Commit 85dc61ee authored by Zubin's avatar Zubin Committed by Marge Bot
Browse files

ci: Fix subtlety with not taking effect because of time_it (#20898)

parent fd0019a0
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 4 additions and 1 deletion
.gitlab/ci.sh
+ 4
− 1
View file @ 85dc61ee
...@@ -25,7 +25,10 @@ function time_it() { ...@@ -25,7 +25,10 @@ function time_it() {
shift shift
local start=$(date +%s) local start=$(date +%s)
local res=0 local res=0
$@ || res=$? set +e
( set -e ; $@ )
res=$?
set -e
local end=$(date +%s) local end=$(date +%s)
local delta=$(expr $end - $start) local delta=$(expr $end - $start)
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment