tree 62bbd56ed35f633fa40c2000755fb4c91e40178d
parent 536830ac65f758e72195a3c42d2e5d6cb540f8c0
parent 0ae752dcc3d918d761df96f6413cc08da3d3dfe7
author Paul Crowley <paulcrowley@google.com> 1572322096 -0700
committer android-build-merger <android-build-merger@google.com> 1572322096 -0700

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

Change-Id: I6446dd9eeb08958ab0a4e5c6d222ec7bdc4d6547