diff options
| -rw-r--r-- | tools/Makefile.in | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/tools/Makefile.in b/tools/Makefile.in index fbbb440..6b3880c 100644 --- a/tools/Makefile.in +++ b/tools/Makefile.in @@ -64,7 +64,7 @@ install-doc: (cd $$d && $(MAKE) $@); \ done -.PHONY: all lib progs test _test install uninstall dep depend clean \ +.PHONY: all lib progs test _test install uninstall dep depend clean \ mostlyclean distclean maintainer-clean clean mostlyclean: @@ -73,8 +73,8 @@ clean mostlyclean: done distclean: - @@SETX@; for d in $(SUBDIRS) examples pablo; do \ - (cd $$d && $(MAKE) $@); \ + @@SETX@; for d in $(SUBDIRS); do \ + (cd $$d && $(MAKE) $@); \ done -$(RM) Makefile |