From b9f41eb4705eb1bcf0b1f2029543db6d15cd96d8 Mon Sep 17 00:00:00 2001 From: attilio Date: Mon, 15 Feb 2010 23:44:48 +0000 Subject: Adjust style (following the already existing rules) for the newly introduced option DEADLKRES. Reported by: danfe, julian, avg --- sys/arm/conf/CNS11XXNAS | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'sys/arm/conf/CNS11XXNAS') diff --git a/sys/arm/conf/CNS11XXNAS b/sys/arm/conf/CNS11XXNAS index 7aa4fbb..76db42b 100644 --- a/sys/arm/conf/CNS11XXNAS +++ b/sys/arm/conf/CNS11XXNAS @@ -39,7 +39,7 @@ options DEVICE_POLLING options KDB #options GDB options DDB #Enable the kernel debugger -#options DEADLKRES #Enable the deadlock resolver +#options DEADLKRES #Enable the deadlock resolver #options INVARIANTS #Enable calls of extra sanity checking #options INVARIANT_SUPPORT #Extra sanity checks of internal structures, required by INVARIANTS #options WITNESS #Enable checks to detect deadlocks and cycles -- cgit v1.1