source-changes: CVS commit: src/tools

Subject: CVS commit: src/tools
To: None <source-changes@NetBSD.org>
From: Alistair G. Crooks <agc@netbsd.org>
List: source-changes
Date: 12/20/2006 08:22:41

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.