From 8b049d5b6f44f7e51109814bc3bdd9d2ee7faf2a Mon Sep 17 00:00:00 2001
From: Andy Hung <hunga@google.com>
Date: Thu, 4 Jan 2018 13:11:37 -0800
Subject: [PATCH] dumpstate: add media.metrics

Test: adb bugreport
Bug: 71483452
Change-Id: Ibd98702c1f757f17ada61a906ae4e0ec750aac79
---
 public/dumpstate.te | 1 +
 1 file changed, 1 insertion(+)

diff --git a/public/dumpstate.te b/public/dumpstate.te
index da5a90c59..3a9701d3c 100644
--- a/public/dumpstate.te
+++ b/public/dumpstate.te
@@ -64,6 +64,7 @@ allow dumpstate {
   inputflinger
   mediadrmserver
   mediaextractor
+  mediametrics
   mediaserver
   sdcardd
   surfaceflinger