fix make sync for 64bits
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Tue, 5 Feb 2013 15:51:14 +0000 (16:51 +0100)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Tue, 5 Feb 2013 15:51:14 +0000 (16:51 +0100)
commitc5b3073a760d37eb88bf743d0d6e4f65fabb706f
treec5b23ba5c3e4e393476ed608a2b99a195c9c8814
parentfe5065f3018e32b93c0aa470c05d5ce340dcf754
fix make sync for 64bits
Makefile