diff options
| author | Mazdak Farrokhzad <twingoow@gmail.com> | 2019-12-11 10:10:49 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-12-11 10:10:49 +0100 |
| commit | f6ceef546b9b008afd12fafa742783c570a18aa8 (patch) | |
| tree | 2ef62b3f6d4746ca251307c5543a7f066ada1fa3 /src | |
| parent | b7683282425848d4edcb237aa1b2d4d9894e4bb3 (diff) | |
| parent | 472e7548d866920e5f798d88e023ea0c8efa8b19 (diff) | |
Rollup merge of #67205 - JohnTitor:fix-sh, r=pietroalbini
Make `publish_toolstate.sh` executable It causes a failure on master ([log](https://dev.azure.com/rust-lang/rust/_build/results?buildId=15627)). r? @pietroalbini CC: @Mark-Simulacrum
Diffstat (limited to 'src')
| -rwxr-xr-x[-rw-r--r--] | src/ci/publish_toolstate.sh | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/src/ci/publish_toolstate.sh b/src/ci/publish_toolstate.sh
index d8ff7407822..d8ff7407822 100644..100755
--- a/src/ci/publish_toolstate.sh
+++ b/src/ci/publish_toolstate.sh
|