diff options
Diffstat (limited to 'contrib/Makefile')
| -rw-r--r-- | contrib/Makefile | 30 |
1 files changed, 3 insertions, 27 deletions
diff --git a/contrib/Makefile b/contrib/Makefile index 7485110ed5..0dc68e4854 100644 --- a/contrib/Makefile +++ b/contrib/Makefile @@ -11,42 +11,18 @@ # The following subdirs give make errors: # # earthdistance -# findoidjoins -# isbn_issn # os2client -# pginterface -all: - for dir in *; do \ - if [ -e $$dir/Makefile ]; then \ - $(MAKE) -C $$dir; \ - fi; \ - done - -install: +all: for dir in *; do \ if [ -e $$dir/Makefile ]; then \ $(MAKE) -C $$dir $@ ; \ fi; \ done -install-doc: - for dir in *; do \ - if [ -e $$dir/Makefile ]; then \ - $(MAKE) -C $$dir $@ ; \ - fi; \ - done || exit 0 - -clean: - for dir in *; do \ - if [ -e $$dir/Makefile ]; then \ - $(MAKE) -C $$dir $@ ; \ - fi; \ - done || exit 0 - -distclean: +.DEFAULT: for dir in *; do \ if [ -e $$dir/Makefile ]; then \ $(MAKE) -C $$dir $@ ; \ fi; \ - done || exit 0 + done |