diff make-dist @ 110952:495ef3733d20

* make-dist: Replace grep with sed when determining $version.

--- 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