Nathalie Furmento
10764899bc
contrib/ci.inria.fr: only updating configure time has the effect of getting into a infinite loop of make calling configure and so on
|
il y a 5 ans | |
|---|---|---|
| .. | ||
| ci.inria.fr | il y a 5 ans | |
|
Nathalie Furmento
10764899bc
contrib/ci.inria.fr: only updating configure time has the effect of getting into a infinite loop of make calling configure and so on
|
il y a 5 ans | |
|---|---|---|
| .. | ||
| ci.inria.fr | il y a 5 ans | |