2011-06-22 15:34:27 -04:00
|
|
|
# tested so far with:
|
|
|
|
# - no revision specified and remote has a HEAD which is used
|
|
|
|
# - revision specified and remote has a HEAD
|
2011-06-22 17:01:36 -04:00
|
|
|
# - revision specified and remote without HEAD
|
2009-06-24 08:48:01 -04:00
|
|
|
source $stdenv/setup
|
|
|
|
|
|
|
|
header "exporting $url (rev $rev) into $out"
|
|
|
|
|
2013-12-21 07:48:06 -05:00
|
|
|
$SHELL $fetcher --builder --url "$url" --out "$out" --rev "$rev" \
|
2014-03-23 12:19:39 -04:00
|
|
|
${leaveDotGit:+--leave-dotGit} \
|
2015-03-10 07:40:19 -04:00
|
|
|
${deepClone:+--deepClone} \
|
2015-04-20 08:25:14 -04:00
|
|
|
${fetchSubmodules:+--fetch-submodules} \
|
|
|
|
${branchName:+--branch-name "$branchName"}
|
2009-06-24 08:48:01 -04:00
|
|
|
|
2010-01-27 07:12:35 -05:00
|
|
|
stopNest
|