fix 'make sync'
authorparmentelat <thierry.parmentelat@inria.fr>
Thu, 13 Dec 2018 15:09:52 +0000 (16:09 +0100)
committerparmentelat <thierry.parmentelat@inria.fr>
Thu, 13 Dec 2018 15:09:52 +0000 (16:09 +0100)
commit33b67b9d88e55836b183cc0ac6e9268d7c30dc21
treeaae613120ca0618b75d9f04480467f79ab20a537
parentfbf0307f6374a595c266377409df82017a6708c4
fix 'make sync'
Makefile