Comment les mettre à jour ?

Si vous avez configuré votre Makefile comme décrit ci-dessus, vous pouvez mettre à jour vos "common makefiles" à partir de ce repository en lançant un simple :

make refresh_common_makefiles

Note

Pour utiliser cette commande, vous devez avoir git installé et bénéficier d'un accès à internet.

Sinon, vous pouvez supprimer le répertoire .common_makefiles et recommencer la procédure d'installation.