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