Forbid status_bar_height in pie

This commit is contained in:
Pierre-Hugues Husson 2019-03-04 21:40:31 +01:00
parent f5bbf2bef7
commit 9b53fc17a0
2 changed files with 2 additions and 1 deletions

View file

@ -12,3 +12,4 @@ config_multiuserMaximumUsers
config_screen_magnification_multi_tap_adjustment
config_swipe_up_gesture_default
config_allowAllRotations
status_bar_height

View file

@ -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