ci: no need to share /usr/include with docker containers
sharing /usr/src is necessary because it is the only way to provide the correct linux-headers to docker containers
@@ -8,7 +8,6 @@ DOCKER_RUN_OPTS=--privileged \
-v /sys/kernel/debug:/sys/kernel/debug \
-v /lib/modules:/lib/modules:ro \
-v /usr/src:/usr/src:ro \
- -v /usr/include/linux:/usr/include/linux:ro \
--add-host=127.0.0.1.xip.io:127.0.0.1 \
-it
