[Crac-bugs] Jenkins build is back to stable : crac-dev » --disable-shared,centos32 #79

ci-crac at inria.fr ci-crac at inria.fr
Dim 30 Mar 17:39:36 CEST 2014


See <https://ci.inria.fr/crac/job/crac-dev/./CONFIGURE_OPTIONS=--disable-shared,label=centos32/79/>




More information about the Crac-bugs mailing list