diff options
Diffstat (limited to 'test')
| -rw-r--r-- | test/lit.cfg | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/test/lit.cfg b/test/lit.cfg index cd615b3c573..ec17c294d3a 100644 --- a/test/lit.cfg +++ b/test/lit.cfg @@ -270,6 +270,10 @@ for pattern in [r"\bbugpoint\b(?!-)", # Warn, but still provide a substitution. lit_config.note('Did not find ' + tool_name + ' in ' + llvm_tools_dir) tool_path = llvm_tools_dir + '/' + tool_name + if (tool_name == "llc" and + 'LLVM_ENABLE_MACHINE_VERIFIER' in os.environ and + os.environ['LLVM_ENABLE_MACHINE_VERIFIER'] == "1"): + tool_path += " -verify-machineinstrs" config.substitutions.append((pattern, tool_pipe + tool_path)) ### Targets |