#!/bin/bash # makelog - Redirect make's output into logfile usage() { echo "Usage: makelog ..." } 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