build.sh: really fix build tee log output

This commit is contained in:
Jens Petersen 2024-10-28 13:12:14 +08:00
parent 97962d2cc2
commit 9dbaf1e32b

View File

@ -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