Browse Source

- makelog: check root directory

master
vanhofen 4 years ago
parent
commit
f8782481af
  1. 10
      makelog

10
makelog

@ -11,23 +11,33 @@ if [ -z "$1" -o "$1" == "--help" ]; then
exit 0
fi
if test -d root; then
exist_root=true
else
exist_root=false
fi
logfile=$(mktemp makelog.XXXXXX)
trap "rm -f $logfile" EXIT
params="$*"
if $exist_root; then
pushd root
test -d .git || git init
git add .
git commit -a -m"- before $params"
popd
fi
time make $params 2>&1 | tee $logfile
if $exist_root; then
pushd root
git add .
git commit -a -m"- after $params"
popd
fi
mkdir -p build_tmp
echo -e "\nmake $*:\n" >> build_tmp/make_${params// /_}.log

Loading…
Cancel
Save