Merge some tool fixes from the 5.0.72sp1 build back into the tree.

This is not the final merge of that release build, but we need early
access to these tool fixes (use of "awk" in the BDB configuration).

bdb/dist/s_all

 #!/bin/sh -
 #	$Id: s_all,v 1.10 2001/08/04 14:01:44 bostic Exp $
 
+# Search an AWK program, use GNU awk if available
+for x in gawk awk ; do
+  if type $x; then
+    AWK=$x
+    break
+  fi
+done
+
+if test -z "$AWK"; then
+  echo 'No AWK program found'
+  exit 1
+fi
+export AWK
+# end of AWK search
+
 sh s_dir
 
 #sh s_perm		# permissions.

bdb/dist/s_include

@@ -79,7 +79,7 @@ for i in db btree clib common dbreg env fileops hash hmac \
 	[ $i = os ] && f="$f ../os_win32/*.c"
 	[ $i = rpc_server ] && f="../$i/c/*.c"
 	[ $i = crypto ] && f="../$i/*.c ../$i/*/*.c"
-	awk -f gen_inc.awk \
+	$AWK -f gen_inc.awk \
 	    -v db_version_unique_name=$DB_VERSION_UNIQUE_NAME \
 	    -v e_dfile=$e_dfile \
 	    -v e_pfile=$e_pfile \
@@ -97,7 +97,7 @@ done
 # files.
 for i in dbm hsearch; do
 	f="../$i/*.c"
-	awk -f gen_inc.awk \
+	$AWK -f gen_inc.awk \
 	    -v db_version_unique_name=$DB_VERSION_UNIQUE_NAME \
 	    -v e_dfile=$e_dfile \
 	    -v e_pfile=$e_pfile \
@@ -142,7 +142,7 @@ head space defonly _DB_EXT_185_DEF_IN_ > $e_dfile
 head space _DB_EXT_185_PROT_IN_ > $e_pfile
 
 f="../db185/*.c"
-awk -f gen_inc.awk \
+$AWK -f gen_inc.awk \
     -v db_version_unique_name=$DB_VERSION_UNIQUE_NAME \
     -v e_dfile=$e_dfile \
     -v e_pfile=$e_pfile \

bdb/dist/s_recover

@@ -45,7 +45,7 @@ cmp $loglist $f > /dev/null 2>&1 ||
 for i in db dbreg btree fileops hash qam txn; do
 	for f in ../$i/*.src; do
 		subsystem=`basename $f .src`
-		awk -f gen_rec.awk \
+		$AWK -f gen_rec.awk \
 		    -v source_file=$source \
 		    -v header_file=$header \
 		    -v template_file=$template < $f

bdb/dist/s_rpc

@@ -43,7 +43,7 @@ rm -f   $client_file \
 xidsize=\
 `awk '/^#define/ { if ($2 == "DB_XIDDATASIZE") { print $3 }}' $dbinc_file`
 
-awk -f gen_rpc.awk \
+$AWK -f gen_rpc.awk \
     -v major=$DB_VERSION_MAJOR \
     -v minor=$DB_VERSION_MINOR \
     -v xidsize=$xidsize \