diff options
author | Chris Wilson <chris@chris-wilson.co.uk> | 2017-12-07 10:04:00 +0000 |
---|---|---|
committer | Chris Wilson <chris@chris-wilson.co.uk> | 2017-12-08 18:01:50 +0000 |
commit | 37339e7171ee0bd6b45abf8cfef593ed9d8bf750 (patch) | |
tree | 510d0277825e367ad98bb34cb67068e33ef4961f /lib/Makefile.sources | |
parent | 43199fbc6523ac387ba4b905b613d946e8cdb91c (diff) |
lib: Print other clients when DRM_SET_MASTER fails
It looks like there are some rogue processes running in CI that prevent
DRM_MASTER from being obtained. Dump the list of clients on failure to
make it more obvious what is being left behind.
v2: Fix up gtkdocs, meson build
References: https://bugs.freedesktop.org/show_bug.cgi?id=104157
Signed-off-by: Chris Wilson <chris@chris-wilson.co.uk>
Reviewed-by: Daniel Vetter <daniel.vetter@ffwll.ch>
Diffstat (limited to 'lib/Makefile.sources')
-rw-r--r-- | lib/Makefile.sources | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/lib/Makefile.sources b/lib/Makefile.sources index 06852813..86fbfeef 100644 --- a/lib/Makefile.sources +++ b/lib/Makefile.sources @@ -15,6 +15,8 @@ lib_source_list = \ igt.h \ igt_debugfs.c \ igt_debugfs.h \ + igt_device.c \ + igt_device.h \ igt_aux.c \ igt_aux.h \ igt_edid_template.h \ |