---
layout: fc_discuss_archives
title: Message 24 from Frama-C-discuss on August 2017
---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Frama-c-discuss] [PROVENANCE INTERNET] Re: [Why-discuss] Installing Jessie
- Subject: [Frama-c-discuss] [PROVENANCE INTERNET] Re: [Why-discuss] Installing Jessie
- From: Julien.Signoles at cea.fr (Julien Signoles)
- Date: Tue, 22 Aug 2017 10:16:58 +0200
- In-reply-to: <65058_1503389762_599BE841_65058_6192_1_599BE837.8050001@cea.fr>
- References: <3FCF49F1-B405-4C81-A893-79892ABB36AE@seas.upenn.edu> <e0f1c172-ad99-bac2-c649-2fff1f467624@inria.fr> <082AB0D7-DBA1-4B97-AF20-DFDA8613D747@seas.upenn.edu> <9E26C873-151C-4D44-8BC6-386567B13D9A@seas.upenn.edu> <40e5928f-6156-cc1a-60af-b6b5fbe9435d@inria.fr> <83147AF2-F4BD-464F-9A53-C0C939D8F319@seas.upenn.edu> <b33f64b1-7222-0e8d-911c-035740f0b26f@inria.fr> <65058_1503389762_599BE841_65058_6192_1_599BE837.8050001@cea.fr>
Le 22/08/2017 10:15, Julien Signoles a écrit :
> $ frama-c -kernel-msg-key dynling <other options and files>
Sorry, read "dynlink" instead of "dynling"