summaryrefslogtreecommitdiff
path: root/tools/veriexecgen
ModeNameSize
-rw-r--r--Makefile313logplain