semanage expects the SELINUX_DEVEL_PATH to point to a non-include dir, like /usr/share/selinux/strict, whereas sepolgen-ifgen expects the SELINUX_DEVEL_PATH to point to an include dir. So we need to add both (with and without include dir) in the SELINUX_DEVEL_PATH setting. Reproducible: Always
In tree
Stable in tree