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.
44 lines
683 B
44 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
|
|
|