diff --git a/src/lake/Lake/Load/Materialize.lean b/src/lake/Lake/Load/Materialize.lean index 63445cbb9f..2f775aa6d4 100644 --- a/src/lake/Lake/Load/Materialize.lean +++ b/src/lake/Lake/Load/Materialize.lean @@ -67,8 +67,7 @@ def Source.materialize (src : Source) (name : String) manifestEntry := .path name relPkgDir } | .git url inputRev? subDir? => do - let tmpName := toString <| hash url - let relGitDir := relPkgsDir / tmpName + let relGitDir := relPkgsDir / name let repo := GitRepo.mk (wsDir / relGitDir) updateGitRepo repo url inputRev? name let rev ← repo.headRevision diff --git a/src/lake/test/clone/test.sh b/src/lake/test/clone/test.sh index 56656f0c42..cc11b16051 100755 --- a/src/lake/test/clone/test.sh +++ b/src/lake/test/clone/test.sh @@ -24,6 +24,7 @@ cd test # test git clone $LAKE update +test -d lake-packages/hello $LAKE build ./build/bin/test