--- layout: fc_discuss_archives title: Message 30 from Frama-C-discuss on June 2011 ---
> 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