Ignoring revisions in .git-blame-ignore-revs. Click here to bypass and see the normal blame view.
CLEANFILES= *.out.bad *.notrun check.log check.time*
# no default target
default:
clean:
rm -f $(CLEANFILES)