tools/addToolVersion.sh
changeset 109 d95ccd73ed92
parent 103 b6e20abe9256
child 236 42650dc4e95e
     1.1 --- a/tools/addToolVersion.sh	Fri May 18 15:57:16 2007 +0000
     1.2 +++ b/tools/addToolVersion.sh	Sat May 19 22:54:20 2007 +0000
     1.3 @@ -99,10 +99,10 @@
     1.4          L5="    default \"${ver}\" if ${cat}_${TOOL_SUFFIX}_V_${v}"
     1.5          FILE="config/${tool_prefix}${tool}_headers_${tool_suffix}.in"
     1.6      else
     1.7 -        L1="config ${cat}${MIDDLE}_V_${v}\n"
     1.8 +        L1="config ${cat}${MIDDLE_V}_V_${v}\n"
     1.9          L2="    bool\n"
    1.10          L3="    prompt \"${ver}\"\n"
    1.11 -        L5="    default \"${ver}\" if ${cat}${MIDDLE}_V_${v}"
    1.12 +        L5="    default \"${ver}\" if ${cat}${MIDDLE_V}_V_${v}"
    1.13          FILE="config/${tool_prefix}${MIDDLE_F}${tool}.in"
    1.14      fi
    1.15      [ -n "${EXP}" ] && DEP="${DEP} && EXPERIMENTAL"