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