#!/bin/csh
echo Running $CPU/pdpshell on $HOST
$CPU/pdpshell $*
