agc 06c3bf82f1 Fixes to allow veriexecgen to be built as a host tool.		2006-12-20 22:03:20 +00:00
..
Makefile	…