CLEANFILES= *.out.bad *.notrun check.log check.time*
# no default target
default:
clean:
rm -f $(CLEANFILES)