Make.config

Fichier corrigé par le prof à remplacer dans pintos/src si la commande
make ne fonctionne pas dans le répertoire threads