diff options
author | Peter Eisentraut <peter_e@gmx.net> | 2001-01-06 21:24:01 +0000 |
---|---|---|
committer | Peter Eisentraut <peter_e@gmx.net> | 2001-01-06 21:24:01 +0000 |
commit | ca882439526154cdfa8745019f8adfeb2ad48489 (patch) | |
tree | 61176142fb09d1ef9791bc3309221193ff434bd5 /GNUmakefile.in | |
parent | 41fde54603876c1d91966d41f0a78a5cd686c6e5 (diff) | |
download | postgresql-ca882439526154cdfa8745019f8adfeb2ad48489.tar.gz |
Use more portable syntax for 'find'.
Diffstat (limited to 'GNUmakefile.in')
-rw-r--r-- | GNUmakefile.in | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/GNUmakefile.in b/GNUmakefile.in index 2d0327aec0..e131e13435 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. |