commit b246b1dc358dc0f7834759a64a5b66070d8aec31
author sandrom <sandrom@google.com> Tue May 24 08:46:06 2022 +0000
committer sandrom <sandrom@google.com> Mon Jul 11 09:23:52 2022 +0000
tree 0edb2d0ff299de0987ce7707673cc523105ea0c1
parent 1579b37a1959ccb6fb192d31cecf97e7de7dc505

Add seamendc binary

Bug: 236691128
Test: adb shell seamendc -b <binary_policy> -o <output_policy> <test.cil> <test-redefinitions.cil>

Change-Id: Id51271e89261a2a612cf25e7b56147d5931c76f9

tools/Android.bp

diff --git a/tools/Android.bp b/tools/Android.bp
index fcf375d..8e40575 100644
--- a/tools/Android.bp
+++ b/tools/Android.bp
@@ -59,6 +59,13 @@
     srcs: ["version_policy.c"],
 }
 
+cc_binary {
+    name: "seamendc",
+    defaults: ["sepolicy_tools_defaults"],
+    srcs: ["seamendc.c"],
+    host_supported: true,
+}
+
 python_binary_host {
     name: "insertkeys",
     srcs: ["insertkeys.py"],