Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.


[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] multiple switch


  • Subject: [Frama-c-discuss] multiple switch
  • From: Maria.Christofi at gemalto.com (Christofi Maria)
  • Date: Mon, 20 Jun 2011 10:20:24 +0200
  • In-reply-to: <mailman.35.1308477652.17308.frama-c-discuss@lists.gforge.inria.fr>
  • References: <mailman.35.1308477652.17308.frama-c-discuss@lists.gforge.inria.fr>


> 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