diff options
author | Richard M. Stallman <rms@gnu.org> | 1994-09-18 08:19:12 +0000 |
---|---|---|
committer | Richard M. Stallman <rms@gnu.org> | 1994-09-18 08:19:12 +0000 |
commit | c0b2f23c46abe01cc32ee1f7cd120d9f00790050 (patch) | |
tree | ab568c471ab756145f5527ff443b5bcec5c14916 /configure1.in | |
parent | d05c42e46d7e0544debf12f0535ad1a1b56a5a05 (diff) | |
download | emacs-c0b2f23c46abe01cc32ee1f7cd120d9f00790050.tar.gz |
(parsing options): Simplify sed command to delete -'s.
Diffstat (limited to 'configure1.in')
-rwxr-xr-x | configure1.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configure1.in b/configure1.in index 640d5264918..3f3e53c5d8b 100755 --- a/configure1.in +++ b/configure1.in @@ -166,7 +166,7 @@ while [ $# != 0 ]; do ## If FOO is a boolean argument, --FOO is equivalent to ## --FOO=yes. Otherwise, the value comes from the next ## argument - see below. - opt=`echo ${arg} | sed 's:^-*\(.*\)$:\1:'` + opt=`echo ${arg} | sed 's:^-*::'` val="yes" valomitted=yes ;; |