diff options
Diffstat (limited to 'Jenkinsfile')
-rw-r--r-- | Jenkinsfile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Jenkinsfile b/Jenkinsfile index 39d1668..3bf7f61 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -56,8 +56,8 @@ stage('Build') { rm -Rf openssl-1.0.2r echo "Done." cp -Rvf /c/dev-tools/gcc-suite/1.5.0/x86-mingw64/gcc $WS/ - cp $WS/gcc-9.1.0/bin/make.exe $WS/gcc-9.1.0/bin/mingw32-make.exe - export PATH=$WS/gcc-9.1.0/bin:/c/dev-tools/msys/x86/usr/bin:$PATH + 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 export CC=$WS/gcc/bin/gcc export CXX=$WS/gcc/bin/g++ |