Comment exécuter un fichier make à partir de n'importe quel répertoire ?

Solution générale

(cd /other/dir && make)

ne changera pas vos Shell's dans le répertoire actuel, mais exécutera make avec le répertoire de travail indiqué.

Les && veillera à ce que make ne s'exécute pas s'il y a une erreur dans le fichier cd de la commande (par exemple, le répertoire n'existe pas ou vous n'y avez pas accès).

L'approche ci-dessus est utile pour toutes sortes de commandes, et pas seulement pour les commandes suivantes make . C'est pourquoi il vaut la peine de l'apprendre et de s'en souvenir.

Solution spécifique

Consultez la page de manuel pour obtenir un -C par exemple.

make -C /other/dir

Plusieurs commandes Unix n'avaient pas cette option au départ, mais elle leur a été ajoutée à un moment donné (par exemple avec l'implémentation GNU).