Re: mon make marche pas
Daniel Caillibaud, vendredi 3 août 2007, 19:25:49 CEST
>
> 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.
Ça semble logique, sinon ça se serait vu.
> > Et si tu fais
> > echo 'main() {}' > t.c
> > make t
> >
> > Ça marche ?
>
> Oui :
>
> $ make t.c
> make: Rien à faire pour « t.c ».
Pas « make t.c », « make t » : il doit compiler et lier le
binaire t (tu peux utiliser autre chose que « t », p.ex « tutu »
« > tutu.c » et « make tutu » si tu préfères (éviter « test »)).
> > 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".
Doit y avoir un parasite quelque part. C’est pour cela que j’ai
parlé du FS (les liens symboliques peuvent perturber p.ex.).
--
Sylvain Sauvage
Reply to: