2 Commits

Author	SHA1	Message	Date
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
christos	e3bc291504	Add a devlist2h.awk so that we don't sprinkle the same constants over ... each device driver file and use it.	1998-07-19 17:28:15 +00:00