-
Mikaël Salson authored
The creation of dep.mk needs to use the -I .. option so that directories such as lib/ are properly included. Closes #2613
29327d22
Prochaines maintenances programmées: lundi 06/05, lundi 03/06, lundi 01/07
Pour plus d'informations: https://doc-si.inria.fr/display/SU/Gitlab