--- layout: fc_discuss_archives title: Message 14 from Frama-C-discuss on April 2011 ---
> [kernel] user error: failed to run: /usr/bin/gcc -C -E -I? -o GCC's -I option expects an argument. http://gcc.gnu.org/onlinedocs/gcc-4.6.0/gcc/Directory-Options.html#Directory-Options Pascal