From 00480189847e89e10f6333c28d65377906316c0f Mon Sep 17 00:00:00 2001
From: Benjamin Kramer <benny.kra@googlemail.com>
Date: Fri, 26 May 2023 13:57:09 +0200
Subject: [PATCH] [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.
---
 mlir/test/lit.cfg.py | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/mlir/test/lit.cfg.py b/mlir/test/lit.cfg.py
index ad0b0d5..8f18fc6 100644
--- 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)
 
-- 
2.7.4