--- layout: fc_discuss_archives title: Message 14 from Frama-C-discuss on April 2011 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] problem with pre-processing



> [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