diff options
| author | Lucio Andrés Illanes Albornoz <lucio@lucioillanes.de> | 2020-02-06 17:45:35 +0100 |
|---|---|---|
| committer | Lucio Andrés Illanes Albornoz <lucio@lucioillanes.de> | 2020-02-06 17:45:35 +0100 |
| commit | 0ecf7d9da6e22c8fd806d0008bd0f21971dfd257 (patch) | |
| tree | c20074250ab1bd1890940cba61cdfdba256d09e3 /subr/build_init.subr | |
| parent | 3c2739e4937930ed830045bd19401d49b4346a4b (diff) | |
| download | midipix_build-0ecf7d9da6e22c8fd806d0008bd0f21971dfd257.tar.bz2 midipix_build-0ecf7d9da6e22c8fd806d0008bd0f21971dfd257.tar.xz | |
subr/build_init.subr: ensure awk(1) in $PATH is GNU Awk.
Diffstat (limited to 'subr/build_init.subr')
| -rw-r--r-- | subr/build_init.subr | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/subr/build_init.subr b/subr/build_init.subr index 3164398c..db5b822a 100644 --- a/subr/build_init.subr +++ b/subr/build_init.subr @@ -11,6 +11,9 @@ 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 + ex_rtl_log_msg failexit "Error: awk(1) in \$PATH must be GNU Awk."; + fi; if [ -z "${DEFAULT_BUILD_CPUS}" ]\ && [ -e /proc/cpuinfo ]; then DEFAULT_BUILD_CPUS=$(awk '/^processor/{cpus++} END{print cpus}' /proc/cpuinfo); |