# delete a non-empty output file
echo hello
rm -f $3