diff options
| author | Johannes Schindelin <johannes.schindelin@gmx.de> | 2019-01-28 02:26:53 +0300 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2019-01-28 21:34:28 +0300 |
| commit | 4b060a4d973ddfb9c8e03585aa5a80253980ed59 (patch) | |
| tree | f684561ed682e81d32c6962564edad34e14245bf /ci/run-build-and-tests.sh | |
| parent | eaa62291fff35f3b33780a1572ee6e1a265adb4c (diff) | |
ci: use a junction on Windows instead of a symlink
Symbolic links are still not quite as easy to use on Windows as on Linux
(for example, on versions older than Windows 10, only administrators can
create symlinks, and on Windows 10 you still need to be in developer
mode for regular users to have permission), but NTFS junctions can give
us a way out.
Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'ci/run-build-and-tests.sh')
| -rwxr-xr-x | ci/run-build-and-tests.sh | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/ci/run-build-and-tests.sh b/ci/run-build-and-tests.sh index 80d72d120f..74d838ea01 100755 --- a/ci/run-build-and-tests.sh +++ b/ci/run-build-and-tests.sh @@ -5,7 +5,10 @@ . ${0%/*}/lib.sh -ln -s "$cache_dir/.prove" t/.prove +case "$CI_OS_NAME" in +windows*) cmd //c mklink //j t\\.prove "$(cygpath -aw "$cache_dir/.prove")";; +*) ln -s "$cache_dir/.prove" t/.prove;; +esac make make --quiet test |