mirror of
https://github.com/linuxkit/linuxkit.git
synced 2026-04-05 20:00:54 +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>