HomePhabricator

[Reproducer] Improve reproducer help (NFC)

Description

[Reproducer] Improve reproducer help (NFC)

Provide a little more detail for the reproducer command.

Details

Committed
JDevlieghereOct 18 2019, 2:47 PM
Parents
rL375291: [sanitizers] Increase default "git clone --depth" to 100
Branches
Unknown
Tags
Unknown