# HG changeset patch
# User nick
# Date 1014808578 0
# Node ID e926b7dd19939f5eb1f4ab3a8117e056c2b5ee7b
# Parent  b4a038fb8e0f2ca236c8503d444c1157eb1a3240
unroll  stuff

diff -r b4a038fb8e0f -r e926b7dd1993 configure
--- a/configure	Wed Feb 27 11:14:25 2002 +0000
+++ b/configure	Wed Feb 27 11:16:18 2002 +0000
@@ -506,7 +506,7 @@
 }
 EOF
   $_cc -o "$TMPO" "$TMPC"
-  case "$TMPO" in
+  case `"$TMPO"` in
     0-0) proc="ev4" ;;
     1-0) proc="ev5" ;;
     1-1) proc="ev56" ;;