7fb011df89
Replacing `cpio -pdm` with `copyHierarchy` makes us end up with two extra headers. I'm not sure why this happens, there's no reason why `cpio` should miss those headers. |
||
|---|---|---|
| .. | ||
| default.nix | ||
| headers.txt | ||
| system_c_symbols | ||
| system_kernel_symbols | ||
| system_symbols | ||