apb 96230fab84 Use ${TOOL_AWK} instead of ${AWK} or plain "awk" in make commands. ... Pass AWK=${TOOL_AWK:Q} to shell scripts that use awk.		2008-10-19 22:05:19 +00:00
..
conf	Backout previous: the license sweep touched these files in error, so	2008-05-10 15:31:03 +00:00
hpc	Use ${TOOL_AWK} instead of ${AWK} or plain "awk" in make commands.	2008-10-19 22:05:19 +00:00
include	Backout previous: the license sweep touched these files in error, so	2008-05-10 15:31:03 +00:00
stand	Use ${TOOL_AWK} instead of ${AWK} or plain "awk" in make commands.	2008-10-19 22:05:19 +00:00
Makefile	…