diff options
| author | Bryan Hundven <bryanhundven@gmail.com> | 2015-05-09 20:11:32 -0700 |
|---|---|---|
| committer | Bryan Hundven <bryanhundven@gmail.com> | 2015-05-09 20:11:32 -0700 |
| commit | 13bb007cb7a8fc634fdebbf358c80ffbbf7cbb47 (patch) | |
| tree | 4a52a4270748826c18a9bd24662e71896c981bef /scripts/addToolVersion.sh | |
| parent | 2efbe05aa8ed2d44ce2acfee78aaad223cbce350 (diff) | |
| parent | 5907149de56926f3c9d50a6f44a44f76c9a9b1e5 (diff) | |
| download | crosstool-ng-13bb007cb7a8fc634fdebbf358c80ffbbf7cbb47.tar.gz crosstool-ng-13bb007cb7a8fc634fdebbf358c80ffbbf7cbb47.tar.bz2 crosstool-ng-13bb007cb7a8fc634fdebbf358c80ffbbf7cbb47.zip | |
Merge pull request #87 from bhundven/fix_command_exec
scripts: If paths.sh is included, use the variables
Diffstat (limited to 'scripts/addToolVersion.sh')
| -rwxr-xr-x | scripts/addToolVersion.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/scripts/addToolVersion.sh b/scripts/addToolVersion.sh index ba739635..9ab730fd 100755 --- a/scripts/addToolVersion.sh +++ b/scripts/addToolVersion.sh @@ -80,9 +80,9 @@ addToolVersion() { # to try adding a new version if the one he/she wants is not listed. # But it can be the case where the version is hidden behind either one # of EXPERIMENTAL or OBSOLETE, so warn if the version is already listed. - if grep -E "^config ${config_ver_option}$" "${file}" >/dev/null 2>&1; then + if ${grep} -E "^config ${config_ver_option}$" "${file}" >/dev/null 2>&1; then echo "'${tool}': version '${version}' already present:" - grep -A1 -B0 -n \ + ${grep} -A1 -B0 -n \ -E "^(config ${config_ver_option}| {4}prompt \"${version}\")$" \ "${file}" /dev/null return 0 |