Skip to content

Commit

Permalink
Fix cmake build.
Browse files Browse the repository at this point in the history
  • Loading branch information
ehuss committed Mar 17, 2022
1 parent 461e807 commit 8322cdb
Showing 1 changed file with 3 additions and 3 deletions.
6 changes: 3 additions & 3 deletions src/ci/docker/scripts/cmake.sh
Original file line number Diff line number Diff line change
Expand Up @@ -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
}

Expand Down

0 comments on commit 8322cdb

Please sign in to comment.