fix make sync
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Tue, 10 Apr 2012 15:12:27 +0000 (17:12 +0200)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Tue, 10 Apr 2012 15:12:27 +0000 (17:12 +0200)
commitda09f9841b4cb3329ad2f3b9a0887d22cdc6afe1
treeca8f9e7490cb664ef40978ee2bfdf1b4c9736af2
parent6b0f7614d641c3a4d64de9ef2a866245d8beeaa8
fix make sync
Makefile