apb cd5c0f944d In shell scripts invoked during a build, and in crunchgen, use ${AWK} ... instead of plain "awk". The Makefiles that invoke these scripts or programs will pass AWK=${HOST_AWK:Q}.		2008-10-19 22:10:04 +00:00
..
Makefile	…
genassym.1	…
genassym.sh	In shell scripts invoked during a build, and in crunchgen, use ${AWK}	2008-10-19 22:10:04 +00:00