diff options
author | 2017-10-22 13:35:53 -0400 | |
---|---|---|
committer | 2017-10-22 13:35:53 -0400 | |
commit | 09d137c4989f317605ef9a81f5418ecf75a3e47f (patch) | |
tree | 393e5fda523195ef65ba4a0d792b72677ef89ac3 /Jenkinsfile | |
parent | ea72fd6400dee103f68d61b8d6bd63b3b2c90b89 (diff) |
try using cygwin bin/sh
msysgit not used for a long time
Diffstat (limited to 'Jenkinsfile')
-rw-r--r-- | Jenkinsfile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Jenkinsfile b/Jenkinsfile index 66d3753bd..c77d5383b 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -19,7 +19,7 @@ try { } stage('Build') { - bat 'c:/msysgit/bin/sh standalone/windows/build.sh' + bat 'c:/cygwin/bin/sh standalone/windows/build.sh' } stage('Archive') { |