diff options
Diffstat (limited to 'dev-lang/smlnj/metadata.xml')
| -rw-r--r-- | dev-lang/smlnj/metadata.xml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/dev-lang/smlnj/metadata.xml b/dev-lang/smlnj/metadata.xml index ffac4d7ebc01..2c128f1545b3 100644 --- a/dev-lang/smlnj/metadata.xml +++ b/dev-lang/smlnj/metadata.xml @@ -5,4 +5,8 @@ <email>ml@gentoo.org</email> <name>Gentoo ML Project</name> </maintainer> + <use> + <flag name="pax_kernel">Enable if the user plans to run the + package under a pax enabled hardened kernel</flag> + </use> </pkgmetadata> |