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