diff options
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> |