diff options
| author | Glenn Morris <rgm@gnu.org> | 2010-10-12 01:05:28 -0700 |
|---|---|---|
| committer | Glenn Morris <rgm@gnu.org> | 2010-10-12 01:05:28 -0700 |
| commit | 3868ea09219560d0f417243c746ed52c80e7b38a (patch) | |
| tree | 48b93a26712fc8f4df994175ae990bac297107c8 /make-dist | |
| parent | 37ea9179e5a37f1ee5f43ea8a6b30aa68b975c1f (diff) | |
| download | emacs-3868ea09219560d0f417243c746ed52c80e7b38a.tar.gz | |
* make-dist: Replace grep with sed when determining $version.
Diffstat (limited to 'make-dist')
| -rwxr-xr-x | make-dist | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/make-dist b/make-dist index c713f8e1574..2a51b91241e 100755 --- a/make-dist +++ b/make-dist @@ -153,8 +153,7 @@ then 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 |