tree e899554689366e540f6f810bccc20f00b47bf28b
parent bbe301bb5d3aa1e9f1aaabb0b4987cc31151690e
author Joel Galenson <jgalenson@google.com> 1638215032 -0800
committer Joel Galenson <jgalenson@google.com> 1638215032 -0800

Use correct command-line option.

Test: TreeHugger.
Change-Id: I346949b66f48b04004de7e25422d7bd91d12a619