gmake Cette commande est un alias de -p linux make. Voir la documentation de la commande originale : tldr -p linux make