You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

45 lines
683 B

#!/bin/bash
# makelog - Redirect make's output into logfile
usage() {
echo "Usage: makelog <target>..."
}
if [ -z "$1" -o "$1" == "--help" ]; then
usage
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
cat $logfile >> build_tmp/make_${params// /_}.log