CVS commit: src/tools

["Alistair G. Crooks" <agc%netbsd.org@localhost>]

Module Name:    src
Committed By:   agc
Date:           Wed Dec 20 08:22:41 UTC 2006

Modified Files:
        src/tools: Makefile

Log Message:
A commit too far - don't try to build veriexecgen for just now


To generate a diff of this commit:
cvs rdiff -r1.111 -r1.112 src/tools/Makefile

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.