diff options
Diffstat (limited to '.gitlab-ci/meson/time.sh')
| -rwxr-xr-x | .gitlab-ci/meson/time.sh | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/.gitlab-ci/meson/time.sh b/.gitlab-ci/meson/time.sh deleted file mode 100755 index cde6bb71831..00000000000 --- a/.gitlab-ci/meson/time.sh +++ /dev/null @@ -1,17 +0,0 @@ -#!/bin/sh - -# If the test times out, meson sends SIGTERM to this process. -# Simply exec'ing "time" would result in no output from that in this case. -# Instead, we need to run "time" in the background, catch the signals and -# propagate them to the actual test process. - -/usr/bin/time -v "$@" & -TIMEPID=$! -TESTPID=$(ps --ppid $TIMEPID -o pid=) - -if test "x$TESTPID" != x; then - trap 'kill -TERM $TESTPID; wait $TIMEPID; exit $?' TERM -fi - -wait $TIMEPID -exit $? |