[CakeML-Dev] [ExternalEmail] Re: readme_gen induced build failure at origin/master?

Michael.Norrish at data61.csiro.au Michael.Norrish at data61.csiro.au
Fri Nov 25 01:57:21 UTC 2016


This is probably an argument for letting readme_gen just issue a warning and ignore directories without readmeprefix files present.

Michael

From: "Michael.Norrish at data61.csiro.au" <Michael.Norrish at data61.csiro.au>
Date: Friday, 25 November 2016 at 11:31
To: "developers at cakeml.org" <developers at cakeml.org>
Subject: [ExternalEmail] Re: [CakeML-Dev] readme_gen induced build failure at origin/master?

Ah, I probably have stale directories from old commits and/or me switching to those old versions.

Thanks,
Michael

From: Ramana Kumar <Ramana.Kumar at cl.cam.ac.uk>
Date: Friday, 25 November 2016 at 11:24
To: "Norrish, Michael (Data61, Canberra City)" <Michael.Norrish at data61.csiro.au>
Cc: "developers at cakeml.org" <developers at cakeml.org>
Subject: Re: [CakeML-Dev] readme_gen induced build failure at origin/master?

Those directory names are rather suspicious: they look to be from version1, but the commit you mentioned is at the head of master (i.e., version 2).
Is there something going on with environment variables, or are you in the wrong directory or something?
On 25 November 2016 at 10:50, <Michael.Norrish at data61.csiro.au<mailto:Michael.Norrish at data61.csiro.au>> wrote:
7450870990a5254c72d19daf468141

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.cakeml.org/pipermail/developers/attachments/20161125/aca7c9a5/attachment-0001.html>


More information about the Developers mailing list