From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <Sebastien.Hinderer@inria.fr>
Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104])
	by sympa.inria.fr (Postfix) with ESMTPS id 99F6F801D7
	for <caml-list@sympa.inria.fr>; Mon, 23 Oct 2017 09:46:26 +0200 (CEST)
X-IronPort-AV: E=Sophos;i="5.43,421,1503352800"; 
   d="scan'208";a="241979282"
Received: from pl-59055.paris.inria.fr (HELO pl-59055.rocqadm.inria.fr) ([128.93.64.92])
  by mail3-relais-sop.national.inria.fr with ESMTP/TLS/AES256-GCM-SHA384; 23 Oct 2017 09:46:26 +0200
Received: from shindere by pl-59055.rocqadm.inria.fr with local (Exim 4.89)
	(envelope-from <Sebastien.Hinderer@inria.fr>)
	id 1e6XRK-0003wT-6v
	for caml-list@inria.fr; Mon, 23 Oct 2017 09:46:26 +0200
Date: Mon, 23 Oct 2017 09:46:26 +0200
From: =?utf-8?Q?S=C3=A9bastien?= Hinderer <Sebastien.Hinderer@inria.fr>
To: caml-list@inria.fr
Message-ID: <20171023074626.sfpyasnaq5privil@pl-59055.rocqadm.inria.fr>
Mail-Followup-To: caml-list@inria.fr
References: <20171019170538.73d6473c@mortimer.gmerlin.de>
 <15a4e8c1-6304-fda5-de3c-bc0d99b38656@orbitalfox.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Disposition: inline
Content-Transfer-Encoding: 8bit
In-Reply-To: <15a4e8c1-6304-fda5-de3c-bc0d99b38656@orbitalfox.com>
Subject: Re: [Caml-list] use cc instead of gcc as default C compiler?

Hi,

Will look into it and give feedback here ASAP.

Thanks a lot for the suggestion!

Sébastien.