diff options
| author | Chris Wilson <chris@chris-wilson.co.uk> | 2018-11-26 21:35:40 +0000 |
|---|---|---|
| committer | Chris Wilson <chris@chris-wilson.co.uk> | 2018-11-27 09:39:21 +0000 |
| commit | a6b514d242bddd9457f04bb25cde0ddf85032b65 (patch) | |
| tree | 15f21f98d55911f97dc6642481b0eb5f4d2c80fb /runner/resultgen.h | |
| parent | 664cfca333b49b9d5252350efed42c5d1cc0bc48 (diff) | |
runner: Be patient for processes to die
Some machines are very slow and some processes hog a lot of resources
and so take much longer than a mere 2s to be terminated. Be patient.
Bugzilla: https://bugs.freedesktop.org/show_bug.cgi?id=108073
Signed-off-by: Chris Wilson <chris@chris-wilson.co.uk>
Reviewed-by: Petri Latvala <petri.latvala@intel.com>
Diffstat (limited to 'runner/resultgen.h')
0 files changed, 0 insertions, 0 deletions