Attention une mise à jour du serveur va être effectuée le lundi 17 mai entre 13h et 13h30. Cette mise à jour va générer une interruption du service de quelques minutes.

  • Mikaël Salson's avatar
    Makefile: make -> $(MAKE) · fef236dd
    Mikaël Salson authored
    We should not launch a command directly but use variables instead.
    The standard variable for make is $(MAKE). It is therefore more portable
    (for instance on freebsd where the make command used should be gmake)
Makefile 2.37 KB