tree 9ee9bf4f3d4c97af532407c6c0e89b7e13ddc810
parent 53fa1ca8d8b6442587f026354b8d516c10a49e77
author Søren Gjesse <sgjesse@google.com> 1617792093 +0200
committer Søren Gjesse <sgjesse@google.com> 1617793872 +0000

Add direct CLI options for dump to file and directory

For some build system integrations setting the JVM system
properties is not easily available having a command line option
can be convenient.

The two command line options are not advertised in the help,
but just silently there.

Change-Id: Ie1aa70c50654abf72584de591faec16d96931fea