From 952539e39ab6995ecd6ed2f8addce38678c6793f Mon Sep 17 00:00:00 2001
From: "David E. O'Brien" <obrien@FreeBSD.org>
Date: Mon, 11 Feb 2002 03:54:30 +0000
Subject: [PATCH] Allow one to specify the AWK used in the
 environment(commandline).

Gawk is blowing up when run natively on the sparc64 -- leading to totally
bogus kernel values (all "0x0").  Good ole BWK awk works fine however.
---
 sys/kern/genassym.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/sys/kern/genassym.sh b/sys/kern/genassym.sh
index 5c33c6ad42f6..70ad69ebd1d4 100644
--- a/sys/kern/genassym.sh
+++ b/sys/kern/genassym.sh
@@ -23,7 +23,7 @@ case $# in
 *)	usage;;
 esac
 
-${NM:='nm'} "$1" | awk '
+${NM:='nm'} "$1" | ${AWK:='awk'} '
 / C .*sign$/ {
 	sign = substr($1, length($1) - 3, 4)
 	sub("^0*", "", sign)