1 2 3 4 5 6 7 8 9
CLEANFILES= *.out.bad *.notrun check.log check.time # no default target default: clean: rm -f $(CLEANFILES)