Sylvain Sauvage a écrit :
T’as essayé apt-get install --reinstall make ?
Oui, je viens de recommencer, mais ça change rien...
Je vais tenter de refaire mon make à partir de make-src.
J'ai refait mon make avec apt-build, mais ça change rien.
Et si tu fais
echo 'main() {}' > t.c
make t
Ça marche ?
Oui :
$ make t.c
make: Rien à faire pour « t.c ».
C’est sûrement plus un problème de shell ou une configuration
dans un coin qu’un problème avec le binaire de make lui-même.
J'ai vérifié que /bin/sh pointait sur bash, jamais eu d epb avec bash jusqu'ici
;-)
Ce qui est bizarre, c'est que ça le fasse sur 2 machines, donc une très fraîchement
installée "proprement".
Bref, on verra lundi.
Bon WE
--
Daniel
--
Lisez la FAQ de la liste avant de poser une question :
http://wiki.debian.net/?DebianFrench
Vous pouvez aussi ajouter le mot ``spam'' dans vos champs "From" et
"Reply-To:"
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]