diff options
| -rwxr-xr-x | src/ci/docker/scripts/cmake.sh | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/ci/docker/scripts/cmake.sh b/src/ci/docker/scripts/cmake.sh index 70096173403..f124dbdaa6d 100755 --- a/src/ci/docker/scripts/cmake.sh +++ b/src/ci/docker/scripts/cmake.sh @@ -5,16 +5,16 @@ hide_output() { set +x on_err=" echo ERROR: An error was encountered with the build. -cat /tmp/build.log +cat /tmp/cmake_build.log exit 1 " trap "$on_err" ERR bash -c "while true; do sleep 30; echo \$(date) - building ...; done" & PING_LOOP_PID=$! - "$@" &> /tmp/build.log + "$@" &> /tmp/cmake_build.log trap - ERR kill $PING_LOOP_PID - rm /tmp/build.log + rm /tmp/cmake_build.log set -x } |