diff options
| author |   Bryan Hundven <bryanhundven@gmail.com> | 2015-05-10 03:09:05 (GMT) |
|---|---|---|
| committer | Bryan Hundven <bryanhundven@gmail.com> | 2015-05-10 03:09:05 (GMT) |
| commit | 5907149de56926f3c9d50a6f44a44f76c9a9b1e5 (patch) | |
| tree | 4a52a4270748826c18a9bd24662e71896c981bef /scripts/addToolVersion.sh | |
| parent | 2efbe05aa8ed2d44ce2acfee78aaad223cbce350 (diff) | |
scripts: If paths.sh is included, use the variables
This commit changes sed, awk, and grep to use the ones we found during
configure time. This helps make the build more consistent.
Signed-off-by: Bryan Hundven <bryanhundven@gmail.com>
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 ba73963..9ab730f 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 |