From 4b384f369490991695d34708edd9e92dd20112ad Mon Sep 17 00:00:00 2001
From: 3d-gussner <3d.gussner@gmail.com>
Date: Mon, 3 Oct 2022 16:40:04 +0200
Subject: [PATCH] Remove gawk

---
 PF-build.sh | 14 --------------
 1 file changed, 14 deletions(-)

diff --git a/PF-build.sh b/PF-build.sh
index 7164e4c8..c64ccdd7 100755
--- a/PF-build.sh
+++ b/PF-build.sh
@@ -530,19 +530,6 @@ fi
 }
 # End: Check python ... needed during language build
 
-#Start: Check gawk ... needed during language build
-check_gawk()
-{
-if ! type gawk > /dev/null; then
-    if [ $TARGET_OS == "linux" ]; then
-        echo "$(tput setaf 1)Missing 'gawk' which is important to run this script"
-        echo "install it with the command $(tput setaf 2)'sudo apt-get install gawk'."
-        #sudo apt-get update && apt-get install gawk
-        failures 4
-    fi
-fi
-}
-#End: Check gawk ... needed during language build
 
 #### Start: Set build environment 
 set_build_env_variables()
@@ -1601,7 +1588,6 @@ check_OS
 check_wget
 check_zip
 check_python
-check_gawk
 
 #### Check for options/flags
 echo "Check for options"