commit 0453e536701070a885dc59b8ae5f45f48533878e
author Jaekyun Seok <jaekyun@google.com> Wed Jan 11 18:52:19 2017 +0900
committer Jaekyun Seok <jaekyun@google.com> Wed Jan 11 18:52:19 2017 +0900
tree a9a38aa8b76718a53a75d3699dc84b95835efbad
parent 32ae7612be535fbd23ce4635514272eda8d7d5e7

Replace ADDITIONAL_DEFAULT_PROPERTIES

ADDITIONAL_DEFAULT_PROPERTIES should be replaced with
PRODUCT_DEFAULT_PROPERTY_OVERRIDES.

Test: building succeeded.
Bug: 34211489
Change-Id: Ic15cbc347221940bea397e951075d8f3bb2e2b3f

device.mk

diff --git a/device.mk b/device.mk
index 38d017f..6b86bdd 100644
--- a/device.mk
+++ b/device.mk
@@ -485,7 +485,7 @@
     persist.radio.redir_party_num=0
 
 # OEM Unlock reporting
-ADDITIONAL_DEFAULT_PROPERTIES += \
+PRODUCT_DEFAULT_PROPERTY_OVERRIDES += \
     ro.oem_unlock_supported=1
 
 # In userdebug, add minidebug info the the boot image and the system server to support