diff options
-rw-r--r-- | Jenkinsfile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Jenkinsfile b/Jenkinsfile index 83728d6..a88a3b2 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -59,7 +59,7 @@ stage('Build') { set -x echo "Cleanup prev. builds ..." WS=$(cygpath $WORKSPACE) - cp -Rvf /c/dev-tools/gcc-suite/1.6.0/x86-mingw64/gcc $WS/ + cp -Rvf /c/dev-tools/gcc-suite/1.7.0/x86-mingw64/gcc $WS/ cp $WS/gcc/bin/make.exe $WS/gcc/bin/mingw32-make.exe export PATH=$WS/gcc/bin:/c/dev-tools/msys/x86/usr/bin:$PATH export PATH=/c/dev-tools/Python/2.7/x86-windows:$PATH @@ -75,7 +75,7 @@ stage('Build') { set -x echo "Cleanup prev. builds ..." WS=$(cygpath $WORKSPACE) - cp -Rvf /c/dev-tools/gcc-suite/1.6.0/x86-mingw64/gcc $WS/ + cp -Rvf /c/dev-tools/gcc-suite/1.7.0/x86-mingw64/gcc $WS/ cp $WS/gcc/bin/make.exe $WS/gcc/bin/mingw32-make.exe export PATH=$WS/gcc/bin:/c/dev-tools/msys/x86/usr/bin:$PATH export PATH=/c/dev-tools/Python/2.7/x86-windows:$PATH |