diff options
author | V3n3RiX <venerix@redcorelinux.org> | 2021-07-03 22:39:47 +0100 |
---|---|---|
committer | V3n3RiX <venerix@redcorelinux.org> | 2021-07-03 22:39:47 +0100 |
commit | 7f0ccc917c7abe6223784c703d86cd14755691fb (patch) | |
tree | 8c6793f68896b341e22f33d7e6cef88e481f4a8b /dev-lang/mlton/metadata.xml | |
parent | 9aa80713372911cec499b3adb2cd746790920916 (diff) |
gentoo resync : 03.07.2021
Diffstat (limited to 'dev-lang/mlton/metadata.xml')
-rw-r--r-- | dev-lang/mlton/metadata.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dev-lang/mlton/metadata.xml b/dev-lang/mlton/metadata.xml index bcf28489a614..52a980d81fca 100644 --- a/dev-lang/mlton/metadata.xml +++ b/dev-lang/mlton/metadata.xml @@ -9,7 +9,7 @@ <flag name="stage3">After bootstrap building mlton with dev-lang/smlnj, rebuild mlton with the second stage build of mlton (recommended).</flag> - <flag name="pax_kernel">Enable if the user plans to run the + <flag name="pax-kernel">Enable if the user plans to run the package under a pax enabled hardened kernel</flag> </use> <upstream> |