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
|
hace 5 años | |
|---|---|---|
| .. | ||
| ci.inria.fr | hace 5 años | |
|
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
|
hace 5 años | |
|---|---|---|
| .. | ||
| ci.inria.fr | hace 5 años | |