blob: 83a3157b498f6d6581545fde2df8d07e30450454 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
source $stdenv/setup
header "exporting $url (rev $rev) into $out"
git clone --depth "$depth" "$url" $out
if test -n "$rev"; then
cd $out
git checkout $rev
fi
find $out -name .git\* | xargs rm -rf
stopNest
|