diff options
| author | V3n3RiX <venerix@redcorelinux.org> | 2018-03-13 16:55:35 +0000 |
|---|---|---|
| committer | V3n3RiX <venerix@redcorelinux.org> | 2018-03-13 16:55:35 +0000 |
| commit | 1dde4e5c4b92d849bf1abf0a48135b2a0644f7e1 (patch) | |
| tree | c99a472cce74148d499f42ada873454b0e32a42d /dev-lang/smlnj/metadata.xml | |
| parent | da6a52f691ef980bab92d003d5df8f463c623af8 (diff) | |
gentoo resync : 13.03.2018
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> |