Searched refs:kernel_headers_dir (Results 1 – 1 of 1) sorted by relevance
79 kernel_headers_dir="$objtree/debian/hdrtmp"91 rm -rf "$tmpdir" "$fwdir" "$kernel_headers_dir" "$libc_headers_dir"98 mkdir -m 755 -p "$kernel_headers_dir/DEBIAN"99 mkdir -p "$kernel_headers_dir/usr/share/doc/$kernel_headers_packagename"