瀏覽代碼

contrib/ci.inria.fr/job-1-build-windows.sh: make sure to use mingw tools and not windows ones

Nathalie Furmento 4 年之前
父節點
當前提交
1ea5ad4c57
共有 1 個文件被更改,包括 2 次插入0 次删除
  1. 2 0
      contrib/ci.inria.fr/job-1-build-windows.sh

+ 2 - 0
contrib/ci.inria.fr/job-1-build-windows.sh

@@ -25,6 +25,8 @@ if test -z "$tarball" ; then
     exit 2
     exit 2
 fi
 fi
 
 
+export PATH=/usr/bin:$PATH
+
 basename=$(basename $tarball .tar.gz)
 basename=$(basename $tarball .tar.gz)
 test -d $basename && chmod -R u+rwX $basename && rm -rf $basename
 test -d $basename && chmod -R u+rwX $basename && rm -rf $basename
 tar xfz $tarball
 tar xfz $tarball