#!/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

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