build.sh: really fix build tee log output

commercialhaskell · Oct 28, 2024 · 9dbaf1e · 9dbaf1e
1 parent 97962d2
commit 9dbaf1e
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/automated/build.sh b/automated/build.sh
@@ -160,8 +160,8 @@ fi
 # switch back to the current user
 docker run $ARGS_BUILD $IMAGE nice -n 15 /bin/bash -c "
     chown $USER $HOME
-    exec sudo -E -u $USER env \"HOME=$HOME\" \"PATH=\$PATH\" curator build --jobs $JOBS 2>&1 | tee $SHORTNAME-build.log
-    "
+    exec sudo -E -u $USER env \"HOME=$HOME\" \"PATH=\$PATH\" curator build --jobs $JOBS
+    " 2>&1 | tee $SHORTNAME-build.log
 
 # Make sure we actually need this snapshot. We used to perform this check
 # exclusively before building. Now we perform it after as well for the case of