system/freebsd-src
system/freebsd-src
1
0
Fork 0
mirror of https://github.com/freebsd/freebsd-src synced 2024-10-17 13:53:39 +00:00
Code Issues Packages Projects Releases Wiki Activity

Remove INVARIANT* and WITNESS. This makes the simulator much more

Browse source 
pleasant to use.
This commit is contained in:
Marcel Moolenaar 2003-07-25 07:52:20 +00:00
parent fd9eb4ba67
commit cd7e5d6eb4
Notes: svn2git 2020-12-20 02:59:44 +00:00 
svn path=/head/; revision=117998
1 changed files with 0 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
sys/ia64/conf/SKI
View file

@ -34,8 +34,6 @@ options DDB
options FFS #Berkeley Fast Filesystem
options INET #InterNETworking
options INET6 #IPv6 communications protocols
options INVARIANTS
options INVARIANT_SUPPORT
options KTRACE #ktrace(1) syscall trace support
options MD_ROOT #MD is a potential root device
options PROCFS #Process filesystem (requires PSEUDOFS)
@ -47,7 +45,6 @@ options SOFTUPDATES #Enable FFS soft updates support
options SYSVMSG #SYSV-style message queues
options SYSVSEM #SYSV-style semaphores
options SYSVSHM #SYSV-style shared memory
options WITNESS
options _KPOSIX_PRIORITY_SCHEDULING #Posix P1003_1B real-time extensions
device acpi