diff options
Diffstat (limited to 'src/GNUmakefile.in')
| -rw-r--r-- | src/GNUmakefile.in | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/GNUmakefile.in b/src/GNUmakefile.in index e3055bac2a8..cb3c1b4449e 100644 --- a/src/GNUmakefile.in +++ b/src/GNUmakefile.in @@ -7,7 +7,7 @@ # # # IDENTIFICATION -# $Header: /cvsroot/pgsql/src/Attic/GNUmakefile.in,v 1.54 2000/06/28 18:29:13 petere Exp $ +# $Header: /cvsroot/pgsql/src/Attic/GNUmakefile.in,v 1.55 2000/07/01 21:16:42 petere Exp $ # #------------------------------------------------------------------------- @@ -54,7 +54,6 @@ distclean maintainer-clean: -$(MAKE) -C utils clean -$(MAKE) -C backend clean rm -f backend/port/Makefile backend/catalog/genbki.sh \ - backend/utils/Gen_fmgrtab.sh \ backend/port/tas.s backend/port/dynloader.c -$(MAKE) -C interfaces $@ -$(MAKE) -C bin $@ |