diff --git a/makelog b/makelog new file mode 100755 index 00000000..cf660607 --- /dev/null +++ b/makelog @@ -0,0 +1,19 @@ +#!/bin/bash + +# makelog - Redirect make's output into logfile + +usage() { + echo "Usage: makelog ..." +} + +test "$1" == "--help" && { usage; exit 0; } +test -z "$1" && { usage; exit 1; } + +logfile=$(mktemp makelog.XXXXXX) +trap "rm -f $logfile" EXIT + +time make S=1 $* 2>&1 | tee $logfile + +mkdir -p build_tmp +echo -e "\nmake $*:\n" >> build_tmp/make.log +cat $logfile >> build_tmp/make.log