projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6f75c66) | patch
[mlir] Make sure mlir-opt is in the list of substituted tools
authorBenjamin Kramer <benny.kra@googlemail.com>
Fri, 26 May 2023 11:57:09 +0000 (13:57 +0200)
committerBenjamin Kramer <benny.kra@googlemail.com>
Fri, 26 May 2023 12:00:34 +0000 (14:00 +0200)
commit00480189847e89e10f6333c28d65377906316c0f
tree6129af3539f7b6accaef5a48a09e4bd8296bf666tree | snapshot
parent6f75c6681d47164072daea54dde2727c51b0e739commit | diff
[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 diff | blob | history
Domain: System / Toolchain;