Skip to content

Commit

Permalink
allow shallow (depth=1) cloning of llvm and patterngen
Browse files Browse the repository at this point in the history
  • Loading branch information
PhilippvK committed Jan 28, 2025
1 parent 04b3594 commit 2e1d9b1
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion seal5/tools/llvm.py
Original file line number Diff line number Diff line change
Expand Up @@ -107,7 +107,7 @@ def clone_llvm_repo(
no_checkout = ref is not None
branch = None
if depth is not None and ref is not None:
assert "llvmorg" in ref # Needs to be a valid branch name, not a tag
# assert "llvmorg" in ref # Needs to be a valid branch name, not a tag
branch = ref
repo = git.Repo.clone_from(
clone_url, dest, no_checkout=no_checkout, branch=branch, depth=depth, progress=clone_progress
Expand Down

0 comments on commit 2e1d9b1

Please sign in to comment.