Browse Source

- makelog: use git to track TARGET_DIR

master
vanhofen 4 years ago
parent
commit
08322db19a
  1. 12
      makelog

12
makelog

@ -15,8 +15,20 @@ logfile=$(mktemp makelog.XXXXXX)
trap "rm -f $logfile" EXIT
params="$*"
pushd root
test -d .git || git init
git add .
git commit -a -m"- before $params"
popd
time make $params 2>&1 | tee $logfile
pushd root
git add .
git commit -a -m"- after $params"
popd
mkdir -p build_tmp
echo -e "\nmake $*:\n" >> build_tmp/make_${params// /_}.log
cat $logfile >> build_tmp/make_${params// /_}.log

Loading…
Cancel
Save