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

[Frama-c-discuss] multiple switch




> Ahem, you are doing two things wrong.


>One is replying to the mailing-list digest by quoting the entire
>digest and without changing the title.
Oups, sorry for that.. I didn't realize it..


>The other is forgetting the "-jessie" option. "-jessie-why-opt=?" only
>configures Jessie, but does not launch it.

You are right! Thank you! :)
Maria