Yet another fix to awk_sandboxing.sh: mawk (tested for errors) -> awk

pyllyukko · Jan 18, 2025 · bbe4b4a · bbe4b4a
1 parent d89e33f
commit bbe4b4a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/newconfs/profile.d/awk_sandboxing.sh b/newconfs/profile.d/awk_sandboxing.sh
@@ -4,7 +4,7 @@
 # created:      16-10-2011
 ################################################################################
 AWK_VERSION=`awk 'BEGIN{split(PROCINFO["version"],versinfo,".");print versinfo[1]}'`
-if mawk --version 2>/dev/null | grep -q '^GNU Awk' && [ -n "${AWK_VERSION}" ] && [ ${AWK_VERSION} -ge 4 ]
+if awk --version 2>/dev/null | grep -q '^GNU Awk' && [ -n "${AWK_VERSION}" ] && [ ${AWK_VERSION} -ge 4 ]
 then
   alias awk='/bin/gawk --sandbox'
 fi