diff --git a/src/lake/tests/clone/test.sh b/src/lake/tests/clone/test.sh index d3d01239b5..9e7719353e 100755 --- a/src/lake/tests/clone/test.sh +++ b/src/lake/tests/clone/test.sh @@ -11,6 +11,8 @@ fi ./clean.sh +# Test Lake's management of a single Git-cloned dependency. + mkdir hello pushd hello $LAKE init hello diff --git a/src/lake/tests/manifest/.gitignore b/src/lake/tests/depTree/.gitignore similarity index 100% rename from src/lake/tests/manifest/.gitignore rename to src/lake/tests/depTree/.gitignore diff --git a/src/lake/tests/manifest/clean.sh b/src/lake/tests/depTree/clean.sh similarity index 100% rename from src/lake/tests/manifest/clean.sh rename to src/lake/tests/depTree/clean.sh diff --git a/src/lake/tests/manifest/test.sh b/src/lake/tests/depTree/test.sh similarity index 96% rename from src/lake/tests/manifest/test.sh rename to src/lake/tests/depTree/test.sh index eef8218955..80481c8c66 100755 --- a/src/lake/tests/manifest/test.sh +++ b/src/lake/tests/depTree/test.sh @@ -11,7 +11,8 @@ fi ./clean.sh -# tests issues: +# Test the functionality of Lake's dependency resolution +# in many edge cases with a full tree of dependencies. # https://github.com/leanprover/lake/issues/70 # https://github.com/leanprover/lake/issues/84 # https://github.com/leanprover/lake/issues/85