tree 85bda5c58d67531ab0c140a79bda753058df3a75
parent 007de98f69b1310f33a8baee008533b28d251cca
author lambdadroid <lambdadroid@gmail.com> 1501859813 +0200
committer lambdadroid <lambdadroid@gmail.com> 1537998808 +0200

Add option to use ro.serialno for generating device id

On some devices (e.g. ASUS Zenfone) the serial number of the device
is stored in a file in the /factory partition. Consequently, the only
way to load it is using a user space application during the init
process, and to update the ro.serialno system property.

In most places, TWRP already uses the system property to get the
serial number of the device. However, when generating the device ID
used for the backup folder name it checks the boot command line
directly. On these devices, the serialno is not included on the
command line.

Add a TW_USE_SERIALNO_PROPERTY_FOR_DEVICE_ID option that enables
usage of ro.serialno for generating the device id. It is disabled
by default to avoid changing the device id on existing ports.

Change-Id: I4a2eeca883f38fdaeb1209507fd8ebe44b1b04a0