diff options
| author | Attilio Rao <attilio@FreeBSD.org> | 2010-02-15 23:44:48 +0000 |
|---|---|---|
| committer | Attilio Rao <attilio@FreeBSD.org> | 2010-02-15 23:44:48 +0000 |
| commit | c1210a7d97fecac5b0028a3d266719a7c447932a (patch) | |
| tree | a4fd84a41b79ba73a3442bbb48fa15ca5eece537 /sys/arm/conf/CAMBRIA | |
| parent | 463537a09731063baa6814cd9de3434e7b70d1d7 (diff) | |
| download | src-c1210a7d97fecac5b0028a3d266719a7c447932a.tar.gz src-c1210a7d97fecac5b0028a3d266719a7c447932a.zip | |
Adjust style (following the already existing rules) for the newly
introduced option DEADLKRES.
Reported by: danfe, julian, avg
Notes
Notes:
svn path=/head/; revision=203938
Diffstat (limited to 'sys/arm/conf/CAMBRIA')
| -rw-r--r-- | sys/arm/conf/CAMBRIA | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sys/arm/conf/CAMBRIA b/sys/arm/conf/CAMBRIA index 7bd7d499cd52..174a7c785a8f 100644 --- a/sys/arm/conf/CAMBRIA +++ b/sys/arm/conf/CAMBRIA @@ -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 |