jmc 6e682c8cda Need -I. here as well so OBJDIR's work correctly in all cases

2005-05-06 21:51:21 +00:00

..

Makefile

Need -I. here as well so OBJDIR's work correctly in all cases

2005-05-06 21:51:21 +00:00

veriexecctl_conf.l

…

veriexecctl_parse.y

…

veriexecctl.8

…

veriexecctl.c

…

veriexecctl.h

…