#!/bin/sh
# $Id: run-log,v 1.6 2019/12/07 00:30:48 tom Exp $
RUN_LOG=`basename $0 | sed -e 's/-/./'`
echo "$0 $* ->$RUN_LOG"
cat >>$RUN_LOG <<EOF
** `date`
** node: `hostname` (${ME:-`partition 2>/dev/null`})
** user: `id`
** run: $*
EOF
eval "$@" 2>&1 | tee -a $RUN_LOG
