Help for this page
#!/bin/sh -x FILE1=$1 ... echo "Belch in prog3.pl: $STATUS" exit $STATUS fi
#!/bin/sh FILE1=$1 ... echo "Please clean-up by hand" exit $STATUS fi