Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Fix superpmi.py to not cache local MCH files (#85187)
When an MCH file is specified via the `-mch_file` argument, if that file is local (not on a UNC Windows share, on Windows), then don't copy it to the MCH file cache. This behavior -- to avoid caching local files -- was altered with #56871, but it's not clear from that PR if it was required for something or was something used for testing that wasn't reverted before merge. I'm guessing the latter since the code was simply commented out.
- Loading branch information