[Crac-bugs] Jenkins build is back to normal : crac-dev » --enable-shared,centos32 #25

ci-crac at inria.fr ci-crac at inria.fr
Ven 3 Mai 02:07:00 CEST 2013


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




More information about the Crac-bugs mailing list