changeset 4874:e926b7dd1993

unroll stuff
author nick
date Wed, 27 Feb 2002 11:16:18 +0000
parents b4a038fb8e0f
children d282da672340
files configure
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- 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" ;;