Module Name:	src
Committed By:	agc
Date:		Tue Dec 19 21:23:18 UTC 2006

Modified Files:
	src/tools: Makefile
Added Files:
	src/tools/veriexecgen: Makefile

Log Message:
Build veriexecgen as a host tool


To generate a diff of this commit:
cvs rdiff -r1.110 -r1.111 src/tools/Makefile
cvs rdiff -r0 -r1.1 src/tools/veriexecgen/Makefile

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