(distdir): Don't assume that 'grep -F' works; instead, use shell

pattern matching.

diff --git a/lib/am/distdir.am b/lib/am/distdir.am
index a34710e7aaa94efb46ccc4e42b9fcb5477b13d00..4fec72aaa9327cc43155a46b7fc87938ea44fdf1 100644 (file)
--- 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%
 ##