m0le, le 28/07/2013 à 18:48
Certe, ca ne sert pas souvent, mais je savais pas qu'on pouvait demander à "make" de s’exécuter en plusieurs jobs.
(Permalink)