 Marc Sergent
|
778fb84218
Updates of ChangeLog and documentation linked to r10382 and r10386 : additional FxT lock traces and fix of a livelock issue
|
лет назад: 12 |
 Nathalie Furmento
|
645426b4b7
doc/doxygen: remove duplicate section
|
лет назад: 12 |
 Samuel Thibault
|
e0f117f5c6
Rework the way to pass parameters to ./mic-configure: parse them once for all, to pick up the already-existing prefix and coi-dir, add mic-host, and assume the user has the cross-compilation tools in PATH, which he already has to do anyway.
|
лет назад: 12 |
|
Nathalie Furmento
|
418b020cef
doc: update dependencies for documentation generation
|
лет назад: 12 |
|
Nathalie Furmento
|
3364527b32
doc/doxygen: fix contents
|
лет назад: 12 |
|
Nathalie Furmento
|
aee3f3a0b0
doc/doxygen: improve doc
|
лет назад: 12 |
|
Nathalie Furmento
|
77e3245fdc
doc/doxygen: improve contents
|
лет назад: 12 |
|
Nathalie Furmento
|
15775902b0
doc/doxygen: improve doc
|
лет назад: 12 |
|
Nathalie Furmento
|
fad14ebefa
doc/doxygen: improve doc
|
лет назад: 12 |
