diff options
| -rw-r--r-- | GNUmakefile.in | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/GNUmakefile.in b/GNUmakefile.in index 2d0327aec0b..e131e13435a 100644 --- a/GNUmakefile.in +++ b/GNUmakefile.in @@ -1,7 +1,7 @@ # # PostgreSQL top level makefile # -# $Header: /cvsroot/pgsql/GNUmakefile.in,v 1.15 2000/12/04 00:34:40 tgl Exp $ +# $Header: /cvsroot/pgsql/GNUmakefile.in,v 1.16 2001/01/06 21:24:01 petere Exp $ # subdir = @@ -110,7 +110,7 @@ distcheck: $(distdir).tar.gz $(MAKE) -C $(distdir) install $(MAKE) -C $(distdir) uninstall @echo "checking whether \`$(MAKE) uninstall' works" - test `find $(dummy) -not -type d | wc -l` -eq 0 + test `find $(dummy) ! -type d | wc -l` -eq 0 $(MAKE) -C $(distdir) dist # Room for improvement: Check here whether this distribution tarball # is sufficiently similar to the original one. |