if [ ! -s $srcdir/$pgm.std -a ! -s $pgm.stdo ] ; then
# We don't need a special file if the output is just "No Errors"
cat >>$pgm.stdo <<EOF
if [ ! -s $srcdir/$pgm.std -a ! -s $pgm.stdo ] ; then
# We don't need a special file if the output is just "No Errors"
cat >>$pgm.stdo <<EOF