# HG changeset patch
# User jkeil
# Date 996491699 0
# Node ID 2fcccb831d72ea3aa8a30d8af7f6e1362860d417
# Parent  3a347b949c5d038c24155801a12df8fb41dd6d02
Solaris /bin/sh does not like the extra ; in a "for var do ... done" loop

diff -r 3a347b949c5d -r 2fcccb831d72 configure
--- 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'