chiark / gitweb /
build-sys: fix !HAVE_SELINUX case