christos 2853bbf4b7 use %option instead of #define YY_NO_...		2009-10-29 14:49:02 +00:00
..
Makefile	Adjust this to not need -Wno-pointer-sign.	2008-07-24 06:13:21 +00:00
veriexecctl.8	Document -v. PR 39441 from Stathis Kamperis. Bump date.	2008-08-31 23:40:19 +00:00
veriexecctl.c	fix sign-compare issues	2009-03-16 12:56:19 +00:00
veriexecctl.h	Remove trailing whitespace. Noted in PR 39440 by Stathis Kamperis.	2008-08-31 23:37:45 +00:00
veriexecctl_conf.l	use %option instead of #define YY_NO_...	2009-10-29 14:49:02 +00:00
veriexecctl_parse.y	fix sign-compare issues	2009-03-16 12:56:19 +00:00