Skip site navigation (1)Skip section navigation (2)
Date:      Wed, 31 May 2006 02:08:45 -0700 (PDT)
From:      Don Lewis <truckman@FreeBSD.org>
To:        dds@FreeBSD.org
Cc:        cvs-src@FreeBSD.org, src-committers@FreeBSD.org, cvs-all@FreeBSD.org
Subject:   Re: cvs commit: src/sys/kern vnode_if.src src/sys/tools vnode_if.awk
Message-ID:  <200605310908.k4V98jre001315@gw.catspoiler.org>
In-Reply-To: <200605302049.k4UKnsX2068808@repoman.freebsd.org>

next in thread | previous in thread | raw e-mail | index | archive | help
On 30 May, Diomidis Spinellis wrote:
> 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

[appearing from the void]

Thanks!

[disappearing into the void]




Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?200605310908.k4V98jre001315>