path: root/scripts/
diff options
authorBryan Hundven <>2015-05-10 03:09:05 (GMT)
committerBryan Hundven <>2015-05-10 03:09:05 (GMT)
commit5907149de56926f3c9d50a6f44a44f76c9a9b1e5 (patch)
tree4a52a4270748826c18a9bd24662e71896c981bef /scripts/
parent2efbe05aa8ed2d44ce2acfee78aaad223cbce350 (diff)
scripts: If 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 <>
Diffstat (limited to 'scripts/')
1 files changed, 2 insertions, 2 deletions
diff --git a/scripts/ b/scripts/
index ba73963..9ab730f 100755
--- a/scripts/
+++ b/scripts/
@@ -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