diff options
author | Denis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org> | 2020-05-25 03:53:28 +0200 |
---|---|---|
committer | Denis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org> | 2020-05-25 17:10:34 +0200 |
commit | 7c43008244329989d73b180631199397857077b5 (patch) | |
tree | 2a54a0c7777c77c3a745e933ad32aa9e65591b05 /libre/jedit | |
parent | 1ac5bac4ee064d2a689f3c386dadf5722da7788c (diff) | |
download | abslibre-7c43008244329989d73b180631199397857077b5.tar.gz abslibre-7c43008244329989d73b180631199397857077b5.tar.bz2 abslibre-7c43008244329989d73b180631199397857077b5.zip |
libre: linux-libre-64: fix package_linux-libre-64-headers
Without that fix, we have the following issue:
Removing documentation...
cp: cannot stat 'arch/arm64/mach-dove/include': No such file or directory
==> ERROR: A failure occurred in package_linux-libre-64-headers().
Aborting...
What is strange is that this error didn't appear when building
linux-libre-64-5.6.12-1.
Signed-off-by: Denis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org>
Diffstat (limited to 'libre/jedit')
0 files changed, 0 insertions, 0 deletions