cvs commit: src/sys/kern vnode_if.src

[Diomidis Spinellis]

Diomidis Spinellis wrote:
> dds         2006-05-28 07:24:12 UTC
> 
>   FreeBSD src repository
> 
>   Modified files:
>     sys/kern             vnode_if.src 
>   Log:
>   Add missing % signs in the lock annotations of the functions:
>   lookup, rename, strategy, islocked
>   The missing % sign meant that the lines were processed as plain
>   comments and the corresponding assertions were never generated.
>   
>   Revision  Changes    Path
>   1.80      +8 -8      src/sys/kern/vnode_if.src

To avoid this from happening again in the future, I intend to replace 
the "#!" and "#%" special comments that mark the pre- and 
post-conditions with a character sequence that can't be mistaken for a 
comment, and also add some error checking in the corresponding awk 
script.  If you have any strong objections please speak up within the 
coming week.

Diomidis - dds@