diff options
| author | Eric Huss <eric@huss.org> | 2022-03-17 11:43:38 -0700 |
|---|---|---|
| committer | Eric Huss <eric@huss.org> | 2022-03-17 11:43:38 -0700 |
| commit | 8322cdb1da257652bf663ae335b190dc129e479f (patch) | |
| tree | c49f2fa96fd0796ab03fbe91e3f22dc19385b77f /src/ci/docker/scripts | |
| parent | 461e8078010433ff7de2db2aaae8a3cfb0847215 (diff) | |
| download | rust-8322cdb1da257652bf663ae335b190dc129e479f.tar.gz rust-8322cdb1da257652bf663ae335b190dc129e479f.zip | |
Fix cmake build.
Diffstat (limited to 'src/ci/docker/scripts')
| -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 } |