Closed ucbjrl closed 8 years ago
If we failed with a C++ compilation error, don't bother re-running with --lineNumbers since that won't add anything useful to the failure diagnostics.
If we failed with a C++ compilation error, don't bother re-running with --lineNumbers since that won't add anything useful to the failure diagnostics.