Aide Linux - Liste de diffusion Ze-Linux
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[make] comment savoir si on a GNU make?
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
--
Il vaut mieux ne pas réfléchir du tout que de ne pas réfléchir assez.
----------------------------------
Informations, désabonnement, règles, obligations sur la liste Aide-Linux :
http://lists.ze-linux.org/howto_ml.html
Aide Linux - Liste de diffusion Ze-Linux