Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Kill useless target "make maintainer-clean".
authorArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Wed, 9 Mar 2022 10:34:24 +0000 (11:34 +0100)
committerArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Wed, 9 Mar 2022 10:34:49 +0000 (11:34 +0100)
commit78b319caf86037a592d653436b6c7a019ab0a83c
tree5f11d082cd1ef8019200bb7860ff6298fbb431a1
parent9a5479d9959271f3b6b9374d1312954231e5d947
Kill useless target "make maintainer-clean".

It only tries to remove an non-existent file...
tools/cmake/Distrib.cmake