Merge pull request #671 from GuillaumeGomez/regen-intrinsics-2
Regenerate intrinsics
This commit is contained in:
commit
2d794d4758
2 changed files with 421 additions and 138 deletions
File diff suppressed because it is too large
Load diff
|
|
@ -12,7 +12,7 @@ def run_command(command, cwd=None):
|
|||
sys.exit(1)
|
||||
|
||||
|
||||
def clone_repository(repo_name, path, repo_url, sub_paths=None):
|
||||
def clone_repository(repo_name, path, repo_url, branch="master", sub_paths=None):
|
||||
if os.path.exists(path):
|
||||
while True:
|
||||
choice = input("There is already a `{}` folder, do you want to update it? [y/N]".format(path))
|
||||
|
|
@ -21,7 +21,7 @@ def clone_repository(repo_name, path, repo_url, sub_paths=None):
|
|||
return
|
||||
elif choice.lower() == "y":
|
||||
print("Updating repository...")
|
||||
run_command(["git", "pull", "origin"], cwd=path)
|
||||
run_command(["git", "pull", "origin", branch], cwd=path)
|
||||
return
|
||||
else:
|
||||
print("Didn't understand answer...")
|
||||
|
|
@ -209,6 +209,7 @@ def main():
|
|||
"llvm-project",
|
||||
llvm_path,
|
||||
"https://github.com/llvm/llvm-project",
|
||||
branch="main",
|
||||
sub_paths=["llvm/include/llvm/IR", "llvm/include/llvm/CodeGen/"],
|
||||
)
|
||||
clone_repository(
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue