From 1dde4e5c4b92d849bf1abf0a48135b2a0644f7e1 Mon Sep 17 00:00:00 2001
From: V3n3RiX <venerix@redcorelinux.org>
Date: Tue, 13 Mar 2018 16:55:35 +0000
Subject: gentoo resync : 13.03.2018

---
 dev-lang/smlnj/metadata.xml | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'dev-lang/smlnj/metadata.xml')

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>
-- 
cgit v1.2.3