Date: Tue, 30 May 2006 20:49:54 +0000 (UTC) From: Diomidis Spinellis <dds@FreeBSD.org> To: src-committers@FreeBSD.org, cvs-src@FreeBSD.org, cvs-all@FreeBSD.org Subject: cvs commit: src/sys/kern vnode_if.src src/sys/tools vnode_if.awk Message-ID: <200605302049.k4UKnsX2068808@repoman.freebsd.org>
next in thread | raw e-mail | index | archive | help
dds 2006-05-30 20:49:54 UTC
FreeBSD src repository
Modified files:
sys/kern vnode_if.src
sys/tools vnode_if.awk
Log:
Assertion code specifications are introduced using special character
sequences that are distinct from comments. %% is used for argument
locks; %! for pre- and post-conditions.
Revision Changes Path
1.82 +182 -182 src/sys/kern/vnode_if.src
1.54 +5 -5 src/sys/tools/vnode_if.awk
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?200605302049.k4UKnsX2068808>