No such file or directory: '/tmp/driver.h.hdrout'

[mariopirker]

Hello,

while trying to run dr_checker against a Qualcomm (Pixel 1 - msm) kernel by using the docker image I am running into the following issue:
[] Running c2xml to find entry point configurations.
[] Trying to run 248 c2xml commands in parallel.
Traceback (most recent call last):
File "run_all.py", line 167, in
main()
File "run_all.py", line 115, in main
ret_val = __run_component(curr_comp, component_times)
File "run_all.py", line 140, in __run_component
ret_val = component_obj.perform()
File "/dr_checker/gitrepo/helper_scripts/runner_scripts/components/parse_headers.py", line 72, in perform
dst_work_dir=self.separate_out)
File "/dr_checker/gitrepo/helper_scripts/runner_scripts/components/parse_headers.py", line 183, in _run_c2xml
all_hdr_entries = p.map(_run_single_c2xml, to_run_cmds)
File "/usr/lib/python2.7/multiprocessing/pool.py", line 251, in map
return self.map_async(func, iterable, chunksize).get()
File "/usr/lib/python2.7/multiprocessing/pool.py", line 567, in get
raise self._value
OSError: [Errno 2] No such file or directory: '/tmp/driver.h.hdrout'

Does anyone has an idea what is causing this?

Thank you.
Mario