Autor: Yves Martin Data: A: guilde Assumpte: Re: GNU make ne manque pas d'echo
----- Mail original ----- > De: "LELIÈVRE Damien" <damien@???>
> À: xmarc@???
> Cc: guilde@???
> Envoyé: Lundi 7 Janvier 2013 11:54:51
> Objet: Re: GNU make ne manque pas d'echo
>
> Bonjour,
>
> 07/01/2013 10:33, Yves Martin :
> > Et tout le problème est de savoir quel est ce "echo": la
> > version interne du Bash ou la version externe "/bin/echo"...
>
> 2013/1/7 Marc <xmarc@???>:
> > Et si tu mets le chemin complet "/bin/echo" ?
>
> (Oui je sais BSD != Linux, mais rencontrant régulièrement ce problème
> lors de l'écriture des Makefile, je poste quand même)
Merci, c'est typiquement le genre de retour d'expérience que je voulais provoquer en décrivant
somme toute une broutille... et je n'ai fait que migrer de Mandriva à Debian et il ne s'agit que
de "echo" !
POSIX or not POSIX... D'ailleurs à ce propos, est-ce qu'il y a un groupe de travail qui
élargit "POSIX" régulièrement ou bien est-ce figé depuis/pour des décennies ?