summaryrefslogtreecommitdiff
path: root/tools/veriexecgen/Makefile
AgeCommit message (Expand)Author
2006-12-20Fixes to allow veriexecgen to be built as a host tool.agc
2006-12-19Build veriexecgen as a host toolagc