#!/bin/sh -e
log="$1" ; shift
echo "$@" >> "$log"
"$@"