diff options
| author | Tom Lane | 2000-12-04 00:34:40 +0000 |
|---|---|---|
| committer | Tom Lane | 2000-12-04 00:34:40 +0000 |
| commit | 2bf2ee7814e67ceec93cdcba8375dccc362534eb (patch) | |
| tree | 59d4eec835c17e14ddccc485128a5d513ce0e871 | |
| parent | 3d0e49623b64766efc0a52b9f18a479125ed9671 (diff) | |
Seems like make clean or make distclean should clean out contrib
directories too, not only src and doc.
| -rw-r--r-- | GNUmakefile.in | 14 |
1 files changed, 11 insertions, 3 deletions
diff --git a/GNUmakefile.in b/GNUmakefile.in index 4bd2c5f94ea..2d0327aec0b 100644 --- a/GNUmakefile.in +++ b/GNUmakefile.in @@ -1,7 +1,7 @@ # # PostgreSQL top level makefile # -# $Header: /cvsroot/pgsql/GNUmakefile.in,v 1.14 2000/10/02 22:21:21 petere Exp $ +# $Header: /cvsroot/pgsql/GNUmakefile.in,v 1.15 2000/12/04 00:34:40 tgl Exp $ # subdir = @@ -18,14 +18,22 @@ install: $(MAKE) -C src install @cat $(srcdir)/register.txt -installdirs uninstall clean distprep: +installdirs uninstall distprep: $(MAKE) -C doc $@ $(MAKE) -C src $@ -# Important: distclean `doc' before `src', otherwise Makefile.global +# clean, distclean, etc should apply to contrib too, even though +# it's not built by default +clean: + $(MAKE) -C doc $@ + $(MAKE) -C contrib $@ + $(MAKE) -C src $@ + +# Important: distclean `src' last, otherwise Makefile.global # will be gone too soon. distclean maintainer-clean: -$(MAKE) -C doc $@ + -$(MAKE) -C contrib $@ -$(MAKE) -C src $@ -rm -f config.cache config.log config.status GNUmakefile |