Commit 865b8ecc authored by Jan Kiszka's avatar Jan Kiszka

ci: Tune config

Disable DEBUG_INFO which bloats the build out and, thus, the ccache.
This prevented the cache from working on arm64 due to our size limit.
Signed-off-by: Jan Kiszka's avatarJan Kiszka <>
parent 75136d81
......@@ -40,6 +40,11 @@ before_script:
- export PATH=~/ccache:$PATH
- pushd ${KDIR}
- make -j $(nproc) ${KERNEL_DEFCONFIG}
# Generic settings
- ./scripts/config -d DEBUG_INFO
# I-pipe and Xenomai settings
- ./scripts/config -e IPIPE
- ./scripts/config -e XENOMAI
- ./scripts/config -e XENO_OPT_SCHED_CLASSES
......@@ -135,6 +140,7 @@ script:
- scripts/bootstrap
- ./configure --enable-smp ${CONFIGURE_OPTS}
- make -j $(nproc)
- ccache -s
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment