tweak Makefile to allow for non-compliant filenames
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Fri, 28 Dec 2018 15:56:28 +0000 (16:56 +0100)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Fri, 28 Dec 2018 15:56:28 +0000 (16:56 +0100)
commit6808751e923b79798619a382a3bf54402ab6cf68
treee6d1bb91e67082708cb96669ff5d85ce5f753a86
parent7dc01aafd1eff895adecf772c6481256fe645c92
tweak Makefile to allow for non-compliant filenames
Makefile