diff options
| author | Erich Eckner <git@eckner.net> | 2017-12-05 06:55:35 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2017-12-05 06:55:35 +0100 |
| commit | a194ebb958e42b2292a4c12feef76cb32c6a1a05 (patch) | |
| tree | 15a736a35fddb7f460220d5dedadb9da2ef64564 | |
| parent | 6ca9fddd0eeedd0011a35c7183ed8e8daa7b7420 (diff) | |
| download | packages-a194ebb958e42b2292a4c12feef76cb32c6a1a05.tar.xz | |
core/linux: copy over Makefile_32.cpu
| -rw-r--r-- | core/linux/PKGBUILD | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/core/linux/PKGBUILD b/core/linux/PKGBUILD index 82d7f385..3fc497f5 100644 --- a/core/linux/PKGBUILD +++ b/core/linux/PKGBUILD @@ -12,5 +12,9 @@ eval "$( declare -f package_linux-headers | \ sed ' \,/tools/objtool" ,d + \,arch/x86/Makefile, { + a \ + install -t "${_builddir}/arch/x86" -m644 arch/x86/Makefile_32.cpu + } ' )" |