Ah oui, en effet... "make -j 5" c'est plus rapide que "make" ... :o #DecouverteDuLundiMatin lundi 3 octobre 2011 à 07:44 Ah oui, en effet... "make -j 5" c'est plus rapide que "make" ... :o #DecouverteDuLundiMatin