build script: save config name and install dir into log file

Signed-off-by: Alessandro Rubini <[email protected]>
GSI-CS-CO · Mar 6, 2023 · 94e9d27 · 94e9d27
1 parent 90f2733
commit 94e9d27
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/tools/build-generic b/tools/build-generic
@@ -53,7 +53,9 @@ BUILD="$TOPDIR/build-$UNIQUE1"
 LOG="$TOPDIR/build-${UNIQUE1}.log"
 
 echo "Using PREFIX=$PREFIX" | tee -a $LOG
+echo "Config file is $cfg" | tee -a $LOG
 echo "Building in \"$BUILD\"" | tee -a $LOG
+echo "Installing in \"$PREFIX\"" | tee -a $LOG
 echo "Log file is \"$LOG\"" | tee -a $LOG
 
 sleep 3; # allow the user to see the above message