From 31d84a6380ca2e6753e6d4e571537f4fee2946c9 Mon Sep 17 00:00:00 2001 From: Rolf Neugebauer Date: Sat, 29 Apr 2017 11:35:48 +0100 Subject: [PATCH] kernels: Add System.map to kernel hub image Also, don't fail if the headers are not installed Signed-off-by: Rolf Neugebauer --- scripts/kernels/Dockerfile.deb | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/scripts/kernels/Dockerfile.deb b/scripts/kernels/Dockerfile.deb index e5ba75a67..39e18d0a3 100644 --- a/scripts/kernels/Dockerfile.deb +++ b/scripts/kernels/Dockerfile.deb @@ -14,8 +14,9 @@ RUN for url in ${DEB_URLS}; do \ RUN mkdir /out RUN cp -a boot/vmlinuz-* /out/kernel RUN cp -a boot/config-* /out/kernel_config +RUN cp -a boot/System.map-* /out/System.map RUN tar cf /out/kernel.tar lib -RUN tar cf /out/kernel-dev.tar usr +RUN tar cf /out/kernel-dev.tar usr || true FROM linuxkit/toybox-media:d7e82a7d19ccc84c9071fa7a88ecaa58ae958f7c@sha256:4c7d25f2be2429cd08417c36e04161cb924e46f3e419ee33a0aa9ff3a0942e02 WORKDIR /