scripts/functions: Fix CT_ExtractGit function.
Change CT_ExtractGit so that it clones the repository, instead of just
symlinking it. After cloning, any given ref is checked out, or if no
ref is given, the HEAD of the repository is checked out.
This makes CT_Extract behave similar for git repositories as it does
for tarballs, so that it for example can be used for passing glibc-ports
as a git repository.
Signed-off-by: "Esben Haabendal" <esben.haabendal@prevas.dk>
[yann.morin.1998@anciens.enib.fr: fix incomplete var rename]
Signed-off-by: "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
5 prompt "CLooG/ppl version"
6 # Don't remove next line
7 # CT_INSERT_VERSION_BELOW
11 prompt "0.15.11 (EXPERIMENTAL)"
12 depends on EXPERIMENTAL
14 config CLOOG_V_0_15_10
38 # Don't remove next line
39 # CT_INSERT_VERSION_STRING_BELOW
40 default "0.15.11" if CLOOG_V_0_15_11
41 default "0.15.10" if CLOOG_V_0_15_10
42 default "0.15.9" if CLOOG_V_0_15_9
43 default "0.15.8" if CLOOG_V_0_15_8
44 default "0.15.7" if CLOOG_V_0_15_7
45 default "0.15.6" if CLOOG_V_0_15_6
46 default "0.15.5" if CLOOG_V_0_15_5
47 default "0.15.4" if CLOOG_V_0_15_4
48 default "0.15.3" if CLOOG_V_0_15_3