From 3804a9e68da357f0962447f8ebef26c365cc8ca7 Mon Sep 17 00:00:00 2001
From: Paul Eggert <eggert@cs.ucla.edu>
Date: Thu, 30 May 2002 12:15:26 +0000
Subject: [PATCH] (distdir): Don't assume that 'grep -F' works; instead, use
 shell pattern matching.

---
 lib/am/distdir.am | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

diff --git a/lib/am/distdir.am b/lib/am/distdir.am
index a34710e7a..4fec72aaa 100644
--- a/lib/am/distdir.am
+++ b/lib/am/distdir.am
@@ -42,11 +42,12 @@ distdir: $(DISTFILES)
 ##
 if %?TOPDIR_P%
 if  %?CK-NEWS%
-	@if sed 15q $(srcdir)/NEWS | grep -F -e "$(VERSION)" >/dev/null; \
-	then :; else \
+	@case `sed 15q $(srcdir)/NEWS` in \
+	*"$(VERSION)"*) : ;; \
+	*) \
 	  echo "NEWS not updated; not releasing" 1>&2; \
-	  exit 1; \
-	fi
+	  exit 1;; \
+	esac
 endif  %?CK-NEWS%
 endif %?TOPDIR_P%
 ##
-- 
2.47.2