diff --git a/Makefile b/Makefile index 6436ff591ac2b577b3dca703aaf99262a13680d6..5711252aacd94f1d5078c53db8a88d6644ab0aab 100644 --- a/Makefile +++ b/Makefile @@ -7,7 +7,7 @@ SUBDIRS := $(SRCDIRS) user-doc developer-doc regtest SUBDIRSCLEAN:=$(addsuffix .clean,$(SUBDIRS)) -.PHONY: all lib clean $(SRCDIRS) doc docclean check cppcheck +.PHONY: all lib clean $(SRCDIRS) doc docclean check cppcheck distclean # if machine dependent configuration has been found: ifdef GCCDEP @@ -56,6 +56,8 @@ clean: $(SUBDIRSCLEAN) $(SUBDIRSCLEAN): %.clean: $(MAKE) -C $* clean +distclean: fullclean + fullclean: make clean rm -f Makefile.conf