Skip to content
Snippets Groups Projects
Commit 8b2b8b1f authored by zmap's avatar zmap
Browse files

save a script on how this build was done

parent 99bcca64
No related branches found
No related tags found
No related merge requests found
......@@ -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
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment