Kill initfini.awk

1 files changed, 0 insertions, 7 deletions

diff --git a/Rules.mak b/Rules.mak
index 3b5515add..469427b30 100644
--- a/Rules.mak
+++ b/Rules.mak
@@ -79,13 +79,6 @@ endif
 check_gcc=$(shell if $(CC) $(1) -S -o /dev/null -xc /dev/null > /dev/null 2>&1; \
 	then echo "$(1)"; else echo "$(2)"; fi)
 
-# check if we have nawk, otherwise user awk
-AWK:=$(shell if [ -x /usr/bin/nawk ]; then echo "/usr/bin/nawk"; \
-	else if [ -x /usr/bin/awk ]; then echo "/usr/bin/awk"; \
-	else if [ -x /bin/awk ]; then echo "/bin/awk"; \
-	else echo "awk"; fi; fi; fi)
-
-
 # Make certain these contain a final "/", but no "//"s.
 RUNTIME_PREFIX:=$(strip $(subst //,/, $(subst ,/, $(subst ",, $(strip $(RUNTIME_PREFIX))))))
 DEVEL_PREFIX:=$(strip $(subst //,/, $(subst ,/, $(subst ",, $(strip $(DEVEL_PREFIX))))))