summaryrefslogtreecommitdiffhomepage
path: root/subr
diff options
context:
space:
mode:
authorLucio Andrés Illanes Albornoz <lucio@lucioillanes.de>2020-02-08 19:29:49 +0000
committerLucio Andrés Illanes Albornoz <lucio@lucioillanes.de>2020-02-08 19:29:49 +0000
commitb8d594fee012d6bf2905c3bce4b595c64c83b898 (patch)
tree5ed1d58bf9d719ec1aff44588c1f0a456b81911e /subr
parent2e7f2b857913ae7181a593a975d9dabf6d798a90 (diff)
downloadmidipix_build-b8d594fee012d6bf2905c3bce4b595c64c83b898.tar.bz2
midipix_build-b8d594fee012d6bf2905c3bce4b595c64c83b898.tar.xz
subr/build_init.subr: ensure awk(1) in $PATH is GNU Awk.
Diffstat (limited to 'subr')
-rw-r--r--subr/build_init.subr2
1 files changed, 1 insertions, 1 deletions
diff --git a/subr/build_init.subr b/subr/build_init.subr
index db5b822a..ec90052b 100644
--- a/subr/build_init.subr
+++ b/subr/build_init.subr
@@ -11,7 +11,7 @@ build_fini() {
build_init() {
local __="" _env_vars="" _env_vars_except="" _env_var="" _log_last_fname="" _log_last_ts="" _vname="" _vname_val="";
set -o noglob; umask 022;
- if ! awk -V | grep -q "^GNU Awk "; then
+ if ! awk -V 2>/dev/null | grep -q "^GNU Awk "; then
ex_rtl_log_msg failexit "Error: awk(1) in \$PATH must be GNU Awk.";
fi;
if [ -z "${DEFAULT_BUILD_CPUS}" ]\