From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <alan.schmitt@polytechnique.org>
X-Original-To: caml-list@sympa.inria.fr
Delivered-To: caml-list@sympa.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 B89917F0AF
	for <caml-list@sympa.inria.fr>; Mon, 14 Mar 2016 08:25:42 +0100 (CET)
X-IronPort-AV: E=Sophos;i="5.24,334,1454972400"; 
   d="asc'?scan'208";a="168496095"
Received: from charm-ecran.irisa.fr ([131.254.101.83])
  by mail3-relais-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 14 Mar 2016 08:25:42 +0100
From: Alan Schmitt <alan.schmitt@polytechnique.org>
To: Anton Bachin <antronbachin@gmail.com>
Cc: Vincent Jacques <vincent@vincent-jacques.net>,  OCaml Mailing List <caml-list@inria.fr>
References: <m2h9gd31v2.fsf@charm-ecran.irisa.fr>
	<CAEnGa7BiB9G17mqOP0H6oKt=CtPLkNAPx3JdKK236cDa3Z1FQg@mail.gmail.com>
	<47F95813-0166-4F64-90DA-BEFA2325D76D@gmail.com>
Date: Mon, 14 Mar 2016 08:25:47 +0100
In-Reply-To: <47F95813-0166-4F64-90DA-BEFA2325D76D@gmail.com> (Anton Bachin's
	message of "Fri, 11 Mar 2016 10:27:28 -0600")
Message-ID: <m27fh58qro.fsf@charm-ecran.irisa.fr>
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.5 (darwin)
MIME-Version: 1.0
Content-Type: multipart/signed; boundary="=-=-=";
	micalg=pgp-sha512; protocol="application/pgp-signature"
Subject: Re: [Caml-list] bisect-report and including directories

--=-=-=
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable

On 2016-03-11 17:27, Anton Bachin <antronbachin@gmail.com> writes:

> Alan,
>
> This doesn=E2=80=99t appear to be a problem in bisect-ppx-report. Since t=
he
> .out file format is unchanged from Bisect to Bisect_ppx, perhaps you
> could install Bisect_ppx for the report tool, and try using that.

Thank you for the suggestion, but as the workaround is fairly simple, I
think I'll keep using it for the moment.

Best,

Alan

--=20
OpenPGP Key ID : 040D0A3B4ED2E5C7
Monthly Athmospheric CO=E2=82=82 (2016-02, Mauna Loa Obs.): 404.02

--=-=-=
Content-Type: application/pgp-signature; name="signature.asc"

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iQEcBAEBCgAGBQJW5md7AAoJEAQNCjtO0uXHWGoIAK/KnRW44nHgpW0VTT0EK0ET
/7ukANDT7r+eYYaHlOxdOW5B0iG3icsWZnmeMHfjU9BKq4V8YW6QNW7XnV8w1XaI
SNt3vpN4aWCMLvBnL07iP1oWzOBwXf/SO/2/4SKni4gR2a9ZCQ2c8yD18P2s3udk
XySMjsvfX0QFnfJ5vrcYKywEyUif/UH09SWhexAjUwYJk7jm9lnZmkFzkf0H9Njg
9HwWwDRa1MAkDBypXN8y+TlhLzADR95mE8a6p8ZO2eUJvEL6zUyTBeG6EhekFReP
TBAWOsrRqpZIgLtNedTDsCTEAMOTZmOgNhi6m6FIvfmHmKGTa3S7ZrhDvcVRtXc=
=ySzf
-----END PGP SIGNATURE-----
--=-=-=--