tree 5d4ff02d4cde564c3ed00fb97e1236bbeac99f3a
parent 63af405fc83611439d60f85a6f1c8e31112be3df
parent 9c715f4b3aded2aded7286771e91ab70cf24dceb
author Paul Crowley <paulcrowley@google.com> 1572322981 -0700
committer android-build-merger <android-build-merger@google.com> 1572322981 -0700

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

Change-Id: Iaf3fe220d6405ddcebcf7c4dc7be7f636e68ec8b