disable deepClone

This commit is contained in:
Sebastien Bourdeauducq 2019-02-15 00:20:29 +08:00
parent 68994e5b87
commit 835f3cf241

View File

@ -12,7 +12,6 @@ let
url = "git://github.com/m-labs/artiq.git"; url = "git://github.com/m-labs/artiq.git";
rev = "$REV"; rev = "$REV";
sha256 = "$HASH"; sha256 = "$HASH";
deepClone = true;
leaveDotGit = true; leaveDotGit = true;
} }
EOF EOF