On Wed, Aug 7, 2024 at 1:36 AM Miguel Ojeda <ojeda@xxxxxxxxxx> wrote: > > Otherwise, we get a warning from `rustc`. Thus fix it. To be clear, this happens (only) when calling `make` with parallel jobs, e.g. `-j8`. Which does not really matter for that target, but nevertheless, some of us call `make` with jobs enabled most of the time. Cheers, Miguel