[mlir] Make sure mlir-opt is in the list of substituted tools

otherwise it gets picked up from $PATH, which is not always working
properly.

diff --git a/mlir/test/lit.cfg.py b/mlir/test/lit.cfg.py
index ad0b0d5..8f18fc6 100644 (file)
--- a/mlir/test/lit.cfg.py
+++ b/mlir/test/lit.cfg.py
@@ -154,6 +154,8 @@ if "MLIR_OPT_CHECK_IR_ROUNDTRIP" in os.environ:
             ToolSubst("mlir-opt", "mlir-opt --verify-roundtrip", unresolved="fatal"),
         ]
     )
+else:
+    tools.extend(["mlir-opt"])
 
 llvm_config.add_tool_substitutions(tools, tool_dirs)