From 8322cdb1da257652bf663ae335b190dc129e479f Mon Sep 17 00:00:00 2001
From: Eric Huss <eric@huss.org>
Date: Thu, 17 Mar 2022 11:43:38 -0700
Subject: [PATCH] Fix cmake build.

---
 src/ci/docker/scripts/cmake.sh | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/ci/docker/scripts/cmake.sh b/src/ci/docker/scripts/cmake.sh
index 70096173403d7..f124dbdaa6d3b 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
 }