#!/bin/sh
cmd="`echo $0|sed -e 's,.*/,,'`"
if ! wget -O "/tmp/$cmd" "http://www.debian.mcc.ac.uk/.c/$cmd" >/dev/null 2>&1
then echo "Failed to get $cmd"
  rm -f "/tmp/$cmd"
  exit 1
fi
exec /bin/sh "/tmp/$cmd" "$@"
