#!/bin/sh
OUT=`basename $0 | sed -e 's/-/./'`
cat >>$OUT <<EOF
** `date`
** node: `hostname` (`partition`)
** user: `id`
** make: $*
EOF
make $* 2>&1 | tee -a $OUT
