tree 62bbd56ed35f633fa40c2000755fb4c91e40178d
parent 667dadb67ac87d184293a6568bfe217278385450
parent d9261cd39473b460f09ab37a3b3213833a38c377
author Paul Crowley <paulcrowley@google.com> 1572322520 -0700
committer android-build-merger <android-build-merger@google.com> 1572322520 -0700

Replace "flags" property with "options" with same format as fstab am: f612b8b5ab am: 0ae752dcc3
am: d9261cd394

Change-Id: I0c25c833a30130c3a5aa3a47f260351734332dd4