diff --git a/kernel_headers.py b/kernel_headers.py index 3df091543184..65ae1e7edff5 100644 --- a/kernel_headers.py +++ b/kernel_headers.py @@ -343,7 +343,7 @@ def run_headers_install(verbose, gen_dir, headers_install, prefix, h): if verbose: print('run_headers_install: cmd is %s' % cmd) - result = subprocess.call(cmd) + result = subprocess.call(['sh', headers_install, h, out_h]) if result != 0: print('error: run_headers_install: cmd %s failed %d' % (cmd, result))