tools/addToolVersion.sh
changeset 750 0cbd1eb86f68
parent 546 0bf5637e0afd
child 858 e815b1a5057c
     1.1 --- a/tools/addToolVersion.sh	Mon Jun 09 16:35:21 2008 +0000
     1.2 +++ b/tools/addToolVersion.sh	Tue Jul 29 16:48:20 2008 +0000
     1.3 @@ -115,12 +115,10 @@
     1.4      fi
     1.5      [ -n "${EXP}" ] && DEP="${DEP} && EXPERIMENTAL"
     1.6      [ -n "${OBS}" ] && DEP="${DEP} && OBSOLETE"
     1.7 -    echo "${DEP}"
     1.8      case "${DEP}" in
     1.9          "") ;;
    1.10          *)  L4="    depends on "$(echo "${DEP}" |sed -r -e 's/^ \&\& //; s/\&/\\&/g;')"\n"
    1.11      esac
    1.12 -    echo "${L4}"
    1.13      sed -r -i -e 's/^(# CT_INSERT_VERSION_ABOVE)$/'"${L1}${L2}${L3}${L4}${L5}"'\n\1/;
    1.14                    s/^(# CT_INSERT_VERSION_STRING_ABOVE)$/'"${L6}"'\n\1/;' "${FILE}"
    1.15  done