diff options
| author | Pietro Albini <pietro@pietroalbini.org> | 2020-03-20 16:49:39 +0100 |
|---|---|---|
| committer | Pietro Albini <pietro@pietroalbini.org> | 2020-03-24 15:34:57 +0100 |
| commit | 9d5c416037b2066b0b1450952914989dee73900a (patch) | |
| tree | 2574c62cf15d9f8a5b5b3880beb0e9d88d4d927e /src/ci/scripts | |
| parent | b4f71cd47705ab65811addd13bf19d448664abf3 (diff) | |
| download | rust-9d5c416037b2066b0b1450952914989dee73900a.tar.gz rust-9d5c416037b2066b0b1450952914989dee73900a.zip | |
ci: rename script windows-symlink-build-dir to symlink-build-dir
There will be a need to symlink the Linux build directory in the future as well, so let's make the script name generic.
Diffstat (limited to 'src/ci/scripts')
| -rwxr-xr-x | src/ci/scripts/symlink-build-dir.sh (renamed from src/ci/scripts/windows-symlink-build-dir.sh) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/src/ci/scripts/windows-symlink-build-dir.sh b/src/ci/scripts/symlink-build-dir.sh
index e57128c70f5..e57128c70f5 100755
--- a/src/ci/scripts/windows-symlink-build-dir.sh
+++ b/src/ci/scripts/symlink-build-dir.sh
|