Merge "Add -p option when flush coverage" into main am: 0c7477b1a1

Original change: https://android-review.googlesource.com/c/platform/development/+/2824251

Change-Id: I73281357880d9e0cd462d920e22b9f20c465f11e
Signed-off-by: Automerger Merge Worker <android-build-automerger-merge-worker@system.gserviceaccount.com>