changeset 8870:1ac291531d73

(parsing options): Simplify sed command to delete -'s.
author Richard M. Stallman <rms@gnu.org>
date Sun, 18 Sep 1994 08:19:12 +0000
parents eff6c7e4e236
children 299cfe0a6069
files configure1.in
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/configure1.in	Sun Sep 18 08:14:59 1994 +0000
+++ b/configure1.in	Sun Sep 18 08:19:12 1994 +0000
@@ -166,7 +166,7 @@
           ## 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
         ;;