maxv 3220cb2ac6 Be a bit more verbose if the kernel rejects a file

2015-04-26 09:20:09 +00:00

..

Makefile

…

veriexecctl_conf.l

…

veriexecctl_parse.y

…

veriexecctl.8

…

veriexecctl.c

…

veriexecctl.h

…