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