Message-ID: <CABFfbXv+=PGaSh8nD2VcN=Cuw=tEM6N8pnK9oG03FWnduZGBxQ@mail.gmail.com>
Date: 2022-05-16T12:03:39Z
From: Jeroen Ooms
Subject: Package build errors with parallel make on Ubuntu 18.04
In-Reply-To: <CABFfbXsfw6HP5hsnf9tcceiYetNj2xpW03sJt7TKOmiLpjH_Fw@mail.gmail.com>
On Mon, May 16, 2022 at 12:49 PM Jeroen Ooms <jeroen at berkeley.edu> wrote:
>
> After upgrading to R-4.2 we are seeing package build errors on Ubuntu 18.04:
> make[1]: *** read jobs pipe: No such file or directory.
> or:
> make[1]: *** write jobserver: Bad file descriptor. Stop.
>
> The problem seems to get triggered by the use of parallel make, but I cannot find the underlying cause. It does not happen on ubuntu 20 or 22, so I suspect the version of 'make' is related.
>
> Attached a dockerfile with a minimal reproducible example (run with: docker build .)
Attachment seems to have been stripped. Here a copy:
https://gist.github.com/jeroen/3e8cf2317912ebf4e3fd9bff732d63c5