diff -r b6e20abe9256 -r d95ccd73ed92 tools/addToolVersion.sh
--- a/tools/addToolVersion.sh	Fri May 18 15:57:16 2007 +0000
+++ b/tools/addToolVersion.sh	Sat May 19 22:54:20 2007 +0000
@@ -99,10 +99,10 @@
         L5="    default \"${ver}\" if ${cat}_${TOOL_SUFFIX}_V_${v}"
         FILE="config/${tool_prefix}${tool}_headers_${tool_suffix}.in"
     else
-        L1="config ${cat}${MIDDLE}_V_${v}\n"
+        L1="config ${cat}${MIDDLE_V}_V_${v}\n"
         L2="    bool\n"
         L3="    prompt \"${ver}\"\n"
-        L5="    default \"${ver}\" if ${cat}${MIDDLE}_V_${v}"
+        L5="    default \"${ver}\" if ${cat}${MIDDLE_V}_V_${v}"
         FILE="config/${tool_prefix}${MIDDLE_F}${tool}.in"
     fi
     [ -n "${EXP}" ] && DEP="${DEP} && EXPERIMENTAL"