display: Use sh to execute install script



Newer Android builds to not have headers_install as an executable

Change-Id: Iab81cd0ed9791e7426719fbc1b43d9ccafc89bb7
Signed-off-by: Naseer Ahmed <naseer@codeaurora.org>

parent a5857a5b

display_kernel_headers.py

+1 −1

Original line number	Diff line number	Diff line
		@@ -25,7 +25,7 @@ def run_headers_install(verbose, gen_dir, headers_install, prefix, h):

		out_h = os.path.join(gen_dir, h[len(prefix):])
		(out_h_dirname, out_h_basename) = os.path.split(out_h)
		cmd = [headers_install, h, out_h]
		cmd = ["sh", headers_install, h, out_h]

		if verbose:
		print('run_headers_install: cmd is %s' % cmd)