diff --git a/gtk/build.sh b/gtk/build.sh index 74fd22e7041d0ce32f53fd856f57d5bcb0d03be8..b2197254bbfc78f3202865e931659bbabd0e07a8 100755 --- a/gtk/build.sh +++ b/gtk/build.sh @@ -33,6 +33,17 @@ if [ $# -gt 0 ]; then eval "$*" fi +# note how we were run +now_time=$(date +%H_%M_%S) +now=$(date) +cat <<EOF > build_run.$now_time.sh +#!/bin/bash +# Auto generated by $0 +# Run by $USER at $now +# INITIAL_DIR=$INITIAL_DIR +$0 $* +EOF + # we save some config for sub-processes build_save_execution_config