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

..

MAKEDEV.conf

Fix MAKEDEV on shark: Move ses(4) devices from MI code (MAKEDEV.tmpl) to

2007-01-15 23:35:11 +00:00

Makefile.inc

Use ${TOOL_AWK} instead of ${AWK} or plain "awk" in make commands.

2008-10-19 22:05:19 +00:00

ttys

Add a constty entry, marked 'off', with otherwise the same settings

2008-10-07 10:00:00 +00:00