# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 779876352 0
# Node ID 1ac291531d73e865a0b666bcf3ccc9c3d779c886
# Parent  eff6c7e4e2363da7f3b37a6d878d6865febd6bd0
(parsing options): Simplify sed command to delete -'s.

diff -r eff6c7e4e236 -r 1ac291531d73 configure1.in
--- 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
         ;;