diff options
| author | Elliott Hughes <enh@google.com> | 2019-07-25 14:24:41 -0700 |
|---|---|---|
| committer | Rob Landley <rob@landley.net> | 2019-07-25 21:31:23 -0500 |
| commit | 90ba72902d5f65a398d6954b20bb10042de57270 (patch) | |
| tree | 959a575a286c42de6476a70d889d0f1574e5acf9 /scripts/make.sh | |
| parent | b891b49e08082f1385ae7150063841c0766f53c8 (diff) | |
| download | toybox-90ba72902d5f65a398d6954b20bb10042de57270.tar.gz | |
killall.test: fix flakiness.
And when I say "fix", I mean "hack around in the worst possible way".
Android+mksh is often slow enough that we can do the pgrep before the
killed process has actually exited. (I'm seeing roughly 100% failure
rate on cloud x86 emulators, and about 75% on a real Pixel 2.)
Diffstat (limited to 'scripts/make.sh')
0 files changed, 0 insertions, 0 deletions