Add a make log

This commit is contained in:
2026-05-25 16:39:12 -04:00
parent ff551237ec
commit cb10696474

View File

@@ -751,8 +751,8 @@ from_source() {
make_opts+=("-j$JOBS") make_opts+=("-j$JOBS")
# Make image # Make image
if ! execute ionice -c2 -n7 nice -n19 make "${make_opts[@]}" BIN_DIR="$BIN_DIR" world; then if ! ionice -c2 -n7 nice -n19 make "${make_opts[@]}" BIN_DIR="$BIN_DIR" world 2>&1 | tee "$BUILD_DIR/make.log"; then
echo "Error: make failed" echo "Error: make failed (see $BUILD_DIR/make.log)"
return 1 return 1
fi fi