Re: mon make marche pas

[Daniel Caillibaud <ml@editionsdidier.com>]

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