Le Tue, 3 Jun 2003 20:18:15 +0200 Frédéric Bothamy <fbothamy@mail.dotcom.fr> écrivait : Salut, [...] > Pourquoi changer le makefile ? Il suffit de modifier le lien > /usr/bin/gcc (ou encore spécifier la variable CC). Tiens, quelqu'un > sait pourquoi gcc (ou cc) n'est pas géré par les alternatives ? Chez ouameu : $ ls -l /etc/alternatives [...] /etc/alternatives/cc -> /usr/bin/tcc A+ Nicolas