blob: 71374d1f238341bfabf14ce0a6c1e01316230d92 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
# tested so far with:
# - no revision specified and remote has a HEAD which is used
# - revision specified and remote has a HEAD
# - revision specified and remote without HEAD
source $stdenv/setup
header "exporting $url (rev $rev) into $out"
$fetcher --builder --url "$url" --out "$out" --rev "$rev" \
${leaveDotGit:+--leave-dotGit} \
${deepClone:+--deepClone} \
${fetchSubmodules:+--fetch-submodules}
stopNest
|