David E. O'Brien fdbbb288dd Connect "options MP_WATCHDOG" to the LINT builds.		2005-02-28 00:55:16 +00:00
..
GENERIC
GENERIC.hints
Makefile
NOTES	Connect "options MP_WATCHDOG" to the LINT builds.	2005-02-28 00:55:16 +00:00