blob: 2fb527c5b568e4415140c4d6f0d84befd5f06f67 [file] [log] [blame]
CLEANFILES= *.out.bad *.notrun check.log check.time
# no default target
default:
clean:
rm -f $(CLEANFILES)