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 | 281c6c236486503b636ae769e77bd60974ef0283 (patch) | |
| tree | 143c345b6ab721702e2f884e357993816e5435fa /configure1.in | |
| parent | f640a880ac9ad5c09563f4fc20199845d0ab662f (diff) | |
| download | emacs-281c6c236486503b636ae769e77bd60974ef0283.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 ;; |