Bonsoir Basile, En complément des liens pertinents suggérés par didier gaumet, on a récemment eu une salve de bugs de Lucas Nussbaum, qui suggérait de regarder ce qu'il se passe en lançant make avec l'option --shuffle=reverse ; un exemple au hasard : #1105362[1]. En général, lancer les cibles dans l'ordre inverse de leur déclaration permet d'identifier assez rapidement pourquoi le makefile ne survivrait pas à une exécution parallèle. À défaut, l'option --shuffle peut prendre pour argument une graine pour le générateur aléatoire, ce qui permet de reproduire une condition pathologique pendant le débugage ; l'option --trace suggérée par didier devrait rapporter quelle graine a été utilisée lors de l'exécution de make.
[1] : https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1105362 En espérant que ça aide, Bonne soirée, :) -- .''`. Étienne Mollier <[email protected]> : :' : pgp: 8f91 b227 c7d6 f2b1 948c 8236 793c f67e 8f0d 11da `. `' sent from /dev/pts/0, please excuse my verbosity `- on air: Sonata Arctica - White Pearl, Black Oceans...
signature.asc
Description: PGP signature
