From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTP id 4C6975D4 for ; Fri, 26 Apr 2019 10:07:56 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.60,397,1549926000"; d="scan'208";a="380390328" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 26 Apr 2019 12:07:54 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 5C85D8269C; Fri, 26 Apr 2019 12:07:54 +0200 (CEST) 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 491638249D for ; Fri, 26 Apr 2019 12:07:45 +0200 (CEST) X-IronPort-AV: E=Sophos;i="5.60,397,1549926000"; d="scan'208";a="304073915" Received: from prajna.paris.inria.fr ([128.93.65.171]) by mail3-relais-sop.national.inria.fr with ESMTP/TLS/AES256-GCM-SHA384; 26 Apr 2019 12:07:44 +0200 Received: from shindere by prajna.paris.inria.fr with local (Exim 4.92) (envelope-from ) id 1hJxlg-0001LC-Os for caml-list@inria.fr; Fri, 26 Apr 2019 12:07:44 +0200 Date: Fri, 26 Apr 2019 12:07:44 +0200 From: =?utf-8?Q?S=C3=A9bastien?= Hinderer To: caml-list@inria.fr Message-ID: <20190426100744.GA5136@prajna.paris.inria.fr> Mail-Followup-To: caml-list@inria.fr References: <20190426094858.on6ei7ujdwbsozjq@annexia.org> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Disposition: inline Content-Transfer-Encoding: 8bit In-Reply-To: <20190426094858.on6ei7ujdwbsozjq@annexia.org> Subject: Re: [Caml-list] Test failure - why? Reply-To: =?utf-8?Q?S=C3=A9bastien?= Hinderer X-Loop: caml-list@inria.fr X-Sequence: 17508 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: Did you try to run the command manually to see what happens? Sébastien.