Skip to content

Commit 77dc0f2

Browse files
committed
More error reporting
1 parent e7a8117 commit 77dc0f2

File tree

1 file changed

+3
-0
lines changed

1 file changed

+3
-0
lines changed

dev/jenkins/anaconda.sh

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -176,6 +176,9 @@ if (( GNU_TIME )) {
176176
tm()
177177
{
178178
=time --format "TASK TIME: %E" ${*}
179+
local CODE=${?}
180+
echo "tm(): CODE=$CODE"
181+
return $CODE
179182
}
180183
} else {
181184
tm()

0 commit comments

Comments
 (0)