diff options
| author | Tomeu Vizoso <[email protected]> | 2019-05-20 11:33:25 +0200 |
|---|---|---|
| committer | Tomeu Vizoso <[email protected]> | 2019-05-31 13:51:51 +0200 |
| commit | da9f7ab6d4f7148e74b41ff0771b8cd581310912 (patch) | |
| tree | 1d6a3ad4df05b3a8a84bc9c01807a05a883ce538 | |
| parent | 77f5663cf33d6b6c2a2d688c637f616fc1eec85e (diff) | |
panfrost: ci: Switch to kernel 5.2-rc2
Signed-off-by: Tomeu Vizoso <[email protected]>
Acked-by: Alyssa Rosenzweig <[email protected]>
| -rw-r--r-- | src/gallium/drivers/panfrost/ci/Dockerfile | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/src/gallium/drivers/panfrost/ci/Dockerfile b/src/gallium/drivers/panfrost/ci/Dockerfile index 268edf224a2..fe0e67c27bd 100644 --- a/src/gallium/drivers/panfrost/ci/Dockerfile +++ b/src/gallium/drivers/panfrost/ci/Dockerfile @@ -112,12 +112,11 @@ ARG KERNEL_ARCH ARG DEFCONFIG ARG DEVICE_TREES ARG KERNEL_IMAGE_NAME -# TODO: Switch to 5.2-rc* when the time comes +ENV KERNEL_URL="https://kernel.googlesource.com/pub/scm/linux/kernel/git/torvalds/linux/+archive/refs/tags/v5.2-rc2.tar.gz" + COPY ${KERNEL_ARCH}.config /panfrost-ci/ RUN mkdir -p /kernel && \ - wget https://github.com/freedesktop/drm-misc/archive/drm-misc-next-2019-04-18.tar.gz && \ - tar xfz drm-misc-next-2019-04-18.tar.gz -C /kernel --strip-components=1 && \ - rm drm-misc-next-2019-04-18.tar.gz && \ + wget -qO- ${KERNEL_URL} | tar -xvz -C /kernel && \ cd /kernel && \ ARCH=${KERNEL_ARCH} CROSS_COMPILE="${GCC_ARCH}-" ./scripts/kconfig/merge_config.sh ${DEFCONFIG} /panfrost-ci/${KERNEL_ARCH}.config && \ ARCH=${KERNEL_ARCH} CROSS_COMPILE="${GCC_ARCH}-" make -j12 ${KERNEL_IMAGE_NAME} dtbs && \ |