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
|
5 lat temu | |
|---|---|---|
| .. | ||
| ci.inria.fr | 5 lat temu | |
|
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
|
5 lat temu | |
|---|---|---|
| .. | ||
| ci.inria.fr | 5 lat temu | |