Makefile: also remove temp files from 'make check'.

This commit is contained in:
Juan RP 2016-02-06 09:31:13 +01:00
parent e526094d71
commit c3382c5c05

View File

@ -44,6 +44,6 @@ clean:
@for dir in $(SUBDIRS); do \
$(MAKE) -C $$dir clean || exit 1; \
done
-rm -f config.mk _ccflag.{,c,err}
-rm -f result* config.mk _ccflag.{,c,err}
.PHONY: all install uninstall check clean