xen: ensure xsm-policy is being built when FLASK is enabled

Flask is disabled by default, but this will save someone an
overrideAttrs overlay if they're using FLASK.

Signed-off-by: Fernando Rodrigues <alpha@sigmasquadron.net>
This commit is contained in:
Fernando Rodrigues 2024-08-11 16:42:16 +00:00
parent 5facf7887f
commit 59f88cc37a
No known key found for this signature in database
GPG Key ID: CC3AE2EA00000000

View File

@ -342,7 +342,9 @@ stdenv.mkDerivation (finalAttrs: {
++ lib.lists.optional withInternalOVMF "--enable-ovmf" ++ lib.lists.optional withInternalOVMF "--enable-ovmf"
++ lib.lists.optional withIPXE "--with-system-ipxe=${ipxe}" ++ lib.lists.optional withIPXE "--with-system-ipxe=${ipxe}"
++ lib.lists.optional withInternalIPXE "--enable-ipxe"; ++ lib.lists.optional withInternalIPXE "--enable-ipxe"
++ lib.lists.optional withFlask "--enable-xsmpolicy";
makeFlags = makeFlags =
[ [