diff configure @ 1424:2fcccb831d72

Solaris /bin/sh does not like the extra ; in a "for var do ... done" loop
author jkeil
date Mon, 30 Jul 2001 11:14:59 +0000
parents d02e0dcaf077
children 3679af53f203
line wrap: on
line diff
--- a/configure	Mon Jul 30 09:08:23 2001 +0000
+++ b/configure	Mon Jul 30 11:14:59 2001 +0000
@@ -193,7 +193,7 @@
 _as=auto
 _x11=auto
 
-for ac_option; do
+for ac_option do
  case "$ac_option" in
   --target=*)
         _target=`echo $ac_option | cut -d '=' -f 2`
@@ -949,7 +949,7 @@
 
 _prefix="/usr/local"
 
-for ac_option; do
+for ac_option do
  case "$ac_option" in
   --enable-profile)
   	_profile='-p'