diff options
author | marius <marius@FreeBSD.org> | 2010-08-21 14:28:48 +0000 |
---|---|---|
committer | marius <marius@FreeBSD.org> | 2010-08-21 14:28:48 +0000 |
commit | dd1113bf706853eead2dd149c947c9971a49da74 (patch) | |
tree | 30569d6d6c76bfa6b781842155d2e1e656898d28 /gnu/Makefile | |
parent | 1702ed2db392af6a922e6215cbfffbd5e727357c (diff) | |
download | FreeBSD-src-dd1113bf706853eead2dd149c947c9971a49da74.zip FreeBSD-src-dd1113bf706853eead2dd149c947c9971a49da74.tar.gz |
Skip a KASSERT which isn't appropriate when not employing page coloring.
Reported by: Michael Moll
Diffstat (limited to 'gnu/Makefile')
0 files changed, 0 insertions, 0 deletions