use git clone if git archive is unavailable
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Mon, 24 Mar 2014 15:53:38 +0000 (16:53 +0100)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Mon, 24 Mar 2014 15:53:38 +0000 (16:53 +0100)
commit89c5cf95aa405268fb3052a00073846aeed692c7
treeaf7cb64f37416867afc0fb5aad1206429a29617e
parent705f47aec7e28f9f5762393c0ac59a6f106e5bf2
use git clone if git archive is unavailable
Makefile
lbuild-nightly.sh