more tweaks in the make sync* targets
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Mon, 23 Jan 2012 15:44:37 +0000 (16:44 +0100)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Mon, 23 Jan 2012 15:44:37 +0000 (16:44 +0100)
commit34ea36029b1a4baa547f7eb28f8dd6d0ec0f0c38
tree87dd5ef073f6626d0d3060252dfd69574e8522eb
parentd36ed91b6c8edecdc0da28daf2baf5abca7cafc3
more tweaks in the make sync* targets
Makefile