fix 'make sync'
authorparmentelat <thierry.parmentelat@inria.fr>
Thu, 13 Dec 2018 15:04:45 +0000 (16:04 +0100)
committerparmentelat <thierry.parmentelat@inria.fr>
Thu, 13 Dec 2018 15:04:45 +0000 (16:04 +0100)
commit3e92c58eed432a011fba73592dd105cba79719d1
treeb415e0ba9d9110a41f30ec37ce65fef1db7f1942
parent12eac496aa07ad136f2946e5d29a77348ec6f2a4
fix 'make sync'
Makefile