comparison configure1.in @ 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 831af7d0a0f6
children 1503c999456b
comparison
equal deleted inserted replaced
8869:eff6c7e4e236 8870:1ac291531d73
164 -*) 164 -*)
165 config_options="${config_options} ${arg}" 165 config_options="${config_options} ${arg}"
166 ## If FOO is a boolean argument, --FOO is equivalent to 166 ## If FOO is a boolean argument, --FOO is equivalent to
167 ## --FOO=yes. Otherwise, the value comes from the next 167 ## --FOO=yes. Otherwise, the value comes from the next
168 ## argument - see below. 168 ## argument - see below.
169 opt=`echo ${arg} | sed 's:^-*\(.*\)$:\1:'` 169 opt=`echo ${arg} | sed 's:^-*::'`
170 val="yes" 170 val="yes"
171 valomitted=yes 171 valomitted=yes
172 ;; 172 ;;
173 esac 173 esac
174 174