[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.
Loading
Please sign in to comment
otherwise it gets picked up from $PATH, which is not always working properly.