kernel: Remove the unused HW_WDOG option.
authorSascha Wildner <saw@online.de>
Thu, 3 May 2012 21:02:27 +0000 (23:02 +0200)
committerSascha Wildner <saw@online.de>
Thu, 3 May 2012 21:02:27 +0000 (23:02 +0200)
commit6d488cc32884ed6ffc6c977f470b8ddcd77cb482
tree20841e1eb5c2e9c42f7b7bc629ab31c8b8c3b666
parentcf03d6cd83d04f6699343a657716434014c9a830
kernel: Remove the unused HW_WDOG option.
UPDATING
sys/conf/options
sys/config/LINT
sys/config/LINT64
sys/kern/kern_shutdown.c