diff options
| author | John W. Parent <45471568+johnwparent@users.noreply.github.com> | 2023-10-24 19:37:26 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-10-24 16:37:26 -0700 |
| commit | e1da9339d9a512a040fc6aab18d85912432f2b58 (patch) | |
| tree | 7608b5f0b38d9c777a3f9ddce6b4727ff77ab84a /.github/CONTRIBUTING.md | |
| parent | 2d203df075581204b552ec8e9bf131ec587974e6 (diff) | |
| download | spack-e1da9339d9a512a040fc6aab18d85912432f2b58.tar.gz spack-e1da9339d9a512a040fc6aab18d85912432f2b58.tar.bz2 spack-e1da9339d9a512a040fc6aab18d85912432f2b58.tar.xz spack-e1da9339d9a512a040fc6aab18d85912432f2b58.zip | |
Windows: search PATH for patch utility (#40513)
Previously, we only searched for `patch` inside of whatever Git
installation was available because the most common installation of Git
available on Windows had `patch`. That's not true for all possible
installations of Git though, so this updates the search to also check
PATH.
Diffstat (limited to '.github/CONTRIBUTING.md')
0 files changed, 0 insertions, 0 deletions