#! /bin/bash

DIR="$1"
rm -f "$DIR/program.err" "$DIR/program.parse" "$DIR/program.print"
run.bash "$DIR"

