Re: [Toybox] weird timeout flake

2023-10-03 Thread enh via Toybox
On Tue, Oct 3, 2023 at 3:40 PM enh wrote: > > On Tue, Oct 3, 2023 at 3:30 PM Rob Landley wrote: > > > > On 10/3/23 16:07, enh wrote: > > >> I don't THINK that's a likely fallback path here? Although /bin/sh not > > >> found > > >> might explain it. But that would be deterministically

Re: [Toybox] weird timeout flake

2023-10-03 Thread enh via Toybox
On Tue, Oct 3, 2023 at 3:30 PM Rob Landley wrote: > > On 10/3/23 16:07, enh wrote: > >> I don't THINK that's a likely fallback path here? Although /bin/sh not > >> found > >> might explain it. But that would be deterministically reproducible and > >> you're > >> having an intermittent issue,

Re: [Toybox] weird timeout flake

2023-10-03 Thread Rob Landley
On 10/3/23 16:07, enh wrote: >> I don't THINK that's a likely fallback path here? Although /bin/sh not found >> might explain it. But that would be deterministically reproducible and you're >> having an intermittent issue, right? > > correct. ccross tells me it's ~2% of all runs in CI. Ok,

Re: [Toybox] weird timeout flake

2023-10-03 Thread enh via Toybox
On Tue, Oct 3, 2023 at 1:44 PM Rob Landley wrote: > > On 10/3/23 13:38, enh wrote: > >> Trying that by hand on devuan (using coreutils' timeout): > >> > >> $ timeout .1 / > >> timeout: failed to run command ‘/’: Permission denied > >> $ echo $? > >> 126 > >> > >> From the bash man page: >

Re: [Toybox] weird timeout flake

2023-10-03 Thread Rob Landley
On 10/3/23 13:38, enh wrote: >> Trying that by hand on devuan (using coreutils' timeout): >> >> $ timeout .1 / >> timeout: failed to run command ‘/’: Permission denied >> $ echo $? >> 126 >> >> From the bash man page: >> >> If a command is not found, the child process created to execute

Re: [Toybox] weird timeout flake

2023-10-03 Thread enh via Toybox
+Colin Cross who just saw this too. On Wed, Aug 2, 2023 at 1:39 PM Rob Landley wrote: > > On 8/2/23 11:04, enh via Toybox wrote: > > i've not seen this myself, but i have _one_ report from CI of this failure: > > > > FAIL: timeout can't execute > > echo -ne '' | "/system/bin/timeout" .1 /