scripts/addToolVersion.sh
changeset 1542 774837ae23ae
parent 1536 28dfc4fc15e9
child 1607 a119153ca777
     1.1 --- a/scripts/addToolVersion.sh	Sun Sep 13 18:44:17 2009 +0200
     1.2 +++ b/scripts/addToolVersion.sh	Sat Sep 26 12:45:07 2009 +0200
     1.3 @@ -104,7 +104,7 @@
     1.4          fi
     1.5      fi
     1.6      SedExpr2="    default \"${version}\" if ${cat}_V_${v}"
     1.7 -    "${sed}" -r -i -e 's/^(# CT_INSERT_VERSION_BELOW)$/\1\n'"${SedExpr1}"'/;' "${file}"
     1.8 +    "${sed}" -r -i -e 's/^(# CT_INSERT_VERSION_BELOW)$/\1\n\n'"${SedExpr1}"'/;' "${file}"
     1.9      "${sed}" -r -i -e 's/^(# CT_INSERT_VERSION_STRING_BELOW)$/\1\n'"${SedExpr2}"'/;' "${file}"
    1.10  }
    1.11