Re: [make] comment savoir si on a GNU make?

[Alexandre Stanislawski <takyon@free.fr>]

commande : which make
il me semble..
++


siruphi wrote:

> kikou,
> 
> en lisant un fichier INSTALL pour installer....
> il est dit
> 
>> You also need GNU make, and not your standard make. On many systems,
>> GNU make has been installed as "gmake"
> 
> 
> 
> j'ai pas trouvé gmake sur mon système, mais cela veut-il dire pour 
> autant que le make par défaut sur mon système n'est pas GNU make?
> je me pose la question car dans tout le document c'est la commande 
> "make" qui est utilisée et il est dit
> 
>> If this is your situation, substitute "gmake" for every occurance of 
>> "make" in these
>> instructions.
> 
> 
> 
> bref pour être clair: est-il possible de savoir si le make de son 
> système est GNUmake ou STANDARDmake?
> pour info je tourne sous Mdk9.2 mais je suppose que la marche à suivre 
> est universelle...
> 
> Philippe
> 

----------------------------------
Informations, désabonnement, règles, obligations sur la liste Aide-Linux :
http://lists.ze-linux.org/howto_ml.html