| commit | 8608cde944d64dece63e8c770deb78c1d092c719 | [log] [tgz] |
|---|---|---|
| author | Tao Bao <tbao@google.com> | Thu Feb 25 19:49:55 2016 -0800 |
| committer | Tao Bao <tbao@google.com> | Fri Feb 26 16:07:16 2016 -0800 |
| tree | ba62daa4f8986fcda569b16d2c8ef80e767ad4f6 | |
| parent | 1284954db036e5c2fdf5576bd03f415b8a201078 [diff] |
releasetools: Add --oem_no_mount option. We may have devices with OEM-specific properties but without an OEM partition (e.g. the properties might be set by init based on hardware SKUs). For such devices, we supply --oem_no_mount to skip mounting the OEM partition in the updater-script. The option is only meaningful when -o (--oem_settings) is specified. Bug: 27359929 Change-Id: Ic08396e478a82be4188e980e704b33b4f704a8d7