#!/bin/sh
# $Id: make-log,v 1.4 2020/03/07 22:14:22 tom Exp $
OUT=`basename "$0" | sed -e 's/-/./'`
cat >>"$OUT" <<EOF
** `date`
** node: `hostname` (`partition`)
** user: `id`
** make: $*
EOF
${MAKE:-make} "$@" 2>&1 | tee -a "$OUT"
