tree 8610b0a702c361992834d8b39cb1fd9104e83a46
parent f9b6aea0920c690e4d5205745627ca8f88a65172
author Christoffer Quist Adamsen <christofferqa@google.com> 1656412516 +0200
committer Christoffer Adamsen <christofferqa@google.com> 1656412645 +0000

Cleanup dump options

This removes dumpInputToFile and dumpInputToDirectory from InternalOptions and instead makes an instance of DumpInputFlags available from InternalOptions.

This also removes the `skipDump` flag from the command builders by instead setting DumpInputFlags.noDump().

Bug: b/236449152
Change-Id: I9c92126d4ca17640ff9936cb1a60279011828970