# HG changeset patch
# User Glenn Morris <rgm@gnu.org>
# Date 1286870728 25200
# Node ID 495ef3733d206df36d24f6b10275fe1a5f3034be
# Parent  85fe6b298326ec7d16c89a3ecac099502060046f
* make-dist: Replace grep with sed when determining $version.

diff -r 85fe6b298326 -r 495ef3733d20 make-dist
--- a/make-dist	Tue Oct 12 01:01:11 2010 -0700
+++ b/make-dist	Tue Oct 12 01:05:28 2010 -0700
@@ -153,8 +153,7 @@
 fi
 
 ### Find out which version of Emacs this is.
-version=`grep 'char emacs_version' src/emacs.c \
-	 | sed -e 's/^[^"]*"\([^"]*\)".*$/\1/'`
+version=`sed -n '/char emacs_version/ s/^[^"]*"\([^"]*\)".*$/\1/p' src/emacs.c`
 if [ ! "${version}" ]; then
   echo "${progname}: can't find current Emacs version in \`./src/emacs.c'" >&2
   exit 1