From 9b53fc17a029f1e12802b569e2a40815f00bded6 Mon Sep 17 00:00:00 2001
From: Pierre-Hugues Husson <phh@phh.me>
Date: Mon, 4 Mar 2019 21:40:31 +0100
Subject: [PATCH] Forbid status_bar_height in pie

---
 tests/blacklist | 1 +
 tests/tests.sh  | 2 +-
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/tests/blacklist b/tests/blacklist
index b81d58c..6925741 100644
--- a/tests/blacklist
+++ b/tests/blacklist
@@ -12,3 +12,4 @@ config_multiuserMaximumUsers
 config_screen_magnification_multi_tap_adjustment
 config_swipe_up_gesture_default
 config_allowAllRotations
+status_bar_height
diff --git a/tests/tests.sh b/tests/tests.sh
index e345207..e4d1348 100755
--- a/tests/tests.sh
+++ b/tests/tests.sh
@@ -20,7 +20,7 @@ find . -name AndroidManifest.xml |while read -r manifest;do
 	folder="$(dirname "$manifest")"
 	#Ensure this overlay doesn't override blacklist-ed properties
 	cat tests/blacklist |while read -r b;do
-		if grep -qRF "$b" "$folder";then
+		if grep -qRF "\"$b\"" "$folder";then
 			fail "$folder" "Overlay $folder is defining $b which is forbidden"
 		fi
 	done