Nathalie Furmento 9076448096 contrib/ci.inria.fr/job-1-check-windows.bat: update path for msys apps 4 years ago
..
disabled d403edb7d3 Merge branch 'master' into fpga 4 years ago
job-0-tarball.sh f5d7ec4fb4 contrib/ci.inria.fr: build pdf documentation 5 years ago
job-1-build-windows.sh de99a4107f contrib/ci.inria.fr/job-1-build-windows.sh: make sure to use mingw tools and not windows ones 4 years ago
job-1-check-windows.bat 9076448096 contrib/ci.inria.fr/job-1-check-windows.bat: update path for msys apps 4 years ago
job-1-check.sh e937a4cb91 contrib/ci.inria.fr: only updating configure time has the effect of getting into a infinite loop of make calling configure and so on 4 years ago