mirror of
https://github.com/linuxkit/linuxkit.git
synced 2026-01-20 23:23:51 +00:00
These are needed to enable GCC_PLUGINS for the Linux kernel build. Signed-off-by: Rolf Neugebauer <rolf.neugebauer@docker.com>
These are needed to enable GCC_PLUGINS for the Linux kernel build. Signed-off-by: Rolf Neugebauer <rolf.neugebauer@docker.com>