From mboxrd@z Thu Jan  1 00:00:00 1970
Received: from goalie.tycho.ncsc.mil (goalie [144.51.242.250])
 by tarius.tycho.ncsc.mil (8.14.4/8.14.4) with ESMTP id v3BElXx0009594
 for <selinux@tycho.nsa.gov>; Tue, 11 Apr 2017 10:47:33 -0400
Received: by mail-wm0-f44.google.com with SMTP id w64so65769351wma.0
 for <selinux@tycho.nsa.gov>; Tue, 11 Apr 2017 07:47:28 -0700 (PDT)
MIME-Version: 1.0
From: =?UTF-8?Q?Christian_G=C3=B6ttsche?= <cgzones@googlemail.com>
Date: Tue, 11 Apr 2017 16:47:27 +0200
Message-ID: <CAJ2a_DdM3zjexy=pC89BEWLK6BTgk9mo3H+_cF4gXu7=4hjFVA@mail.gmail.com>
Subject: refpolicy flask generator script
To: selinux <selinux@tycho.nsa.gov>
Content-Type: text/plain; charset=UTF-8
List-Id: "Security-Enhanced Linux \(SELinux\) mailing list"
 <selinux.tycho.nsa.gov>
List-Post: <mailto:selinux@tycho.nsa.gov>
List-Help: <mailto:selinux-request@tycho.nsa.gov?subject=help>

Is the flask generator script[1] still needed;
or can it be removed or moved into the kernel repo?

related: https://github.com/TresysTechnology/refpolicy/issues/49

[1] https://github.com/TresysTechnology/refpolicy/blob/master/policy/flask/flask.py