make sync needs to set extra permissions as well
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Tue, 2 Jul 2013 10:07:23 +0000 (12:07 +0200)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Tue, 2 Jul 2013 10:07:23 +0000 (12:07 +0200)
commitf9921d92b34d10588dc7bb240095fc3fa8f946c5
tree773fcd12185471efa46ba008d5e2f4681d351c1d
parentc37b4dd8e305d2180d85338d34af16328d92f69f
make sync needs to set extra permissions as well
Makefile