Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
jenkins: make sure that we don't modify the source tree when doing out of tree builds
[simgrid.git] / tools / jenkins /
drwxr-xr-x   ..
-rwxr-xr-x 2290 Coverage.sh
-rwxr-xr-x 1552 DynamicAnalysis.sh
-rwxr-xr-x 4851 DynamicAnalysis_description.sh
-rwxr-xr-x 1728 Flags.sh
-rwxr-xr-x 2298 Sanitizers.sh
-rwxr-xr-x 4973 build.sh
-rwxr-xr-x 6427 ctest2junit.xsl
-rw-r--r-- 684 jacoco.xml