diff options
Diffstat (limited to 'Makefile.include.in')
| -rw-r--r-- | Makefile.include.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Makefile.include.in b/Makefile.include.in index c7eb9aa4d4..2ef3a640a7 100644 --- a/Makefile.include.in +++ b/Makefile.include.in @@ -137,5 +137,6 @@ clean: distclean: $(RM) $(OBJS) *.o $(LIB) $(SLIB) $(STATICLIB) $(CLEAN_FILES) $(DISTCLEAN_FILES) $(PCH:.h=.h.gch) $(DEPS) for d in $(DIRS); do (if test -f "$$d/Makefile"; then ($(MAKE) -C "$$d" distclean || $(MAKE) -C "$$d" clean); fi ); done + for d in $(CHECK_DIRS); do (if test -f "$$d/Makefile"; then ($(MAKE) -C "$$d" $@ || $(MAKE) -C "$$d" clean); fi ); done if [ "$(shell pwd -P)" = "$(abs_top_srcdir)" ] || \ [ "$(shell pwd)" = "$(abs_top_srcdir)" ]; then rm -f $(AUTOGENERATED_MAKEFILES) Makefile.include Makefile; fi |