more accurate make sync
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Thu, 7 Mar 2013 09:14:17 +0000 (10:14 +0100)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Thu, 7 Mar 2013 09:14:17 +0000 (10:14 +0100)
commit6631b100a93178c6269e731c6d53f34c6a153550
tree9ebed93887139c69cb131d9f5bd1ac4b4f054ce3
parenta4819a3dc6dd9458c3cfa6d4e1142dd85a347b44
more accurate make sync
Makefile