Use more portable syntax for 'find'.

diff --git a/GNUmakefile.in b/GNUmakefile.in
index 2d0327aec0bc637bd67ee1535e37ece955d765a8..e131e13435aee2e010f8e05386e89f9415b370d6 100644 (file)
--- 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.