projects / platform / upstream / dotnet / runtime.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7fb53e8) | patch
SPMI: Use .tar.gz for pintools on Linux (#85999)
authorJakob Botsch Nielsen <Jakob.botsch.nielsen@gmail.com>
Tue, 9 May 2023 21:07:23 +0000 (23:07 +0200)
committerGitHub <noreply@github.com>
Tue, 9 May 2023 21:07:23 +0000 (23:07 +0200)
commit90aecfb31169f8bdfcd644ef45162cb8fcfd21be
tree09c08c4aa0a7132a72ee792f83522e637e9a0104tree | snapshot
parent7fb53e8f1fc95577f1a4673f305a39171120eddecommit | diff
SPMI: Use .tar.gz for pintools on Linux (#85999)

We need to preserve executable permissions on these files so use .tar.gz
instead of .zip.
src/coreclr/scripts/jitutil.py diff | blob | history
src/coreclr/scripts/superpmi.py diff | blob | history
Domain: Dotnet / Core;