diff options
| -rwxr-xr-x | bin/bootstrap-traverser.py | 5 | ||||
| -rwxr-xr-x | bin/parallel-bootstrap-traverser.py | 5 |
2 files changed, 8 insertions, 2 deletions
diff --git a/bin/bootstrap-traverser.py b/bin/bootstrap-traverser.py index d2961312..a58abb04 100755 --- a/bin/bootstrap-traverser.py +++ b/bin/bootstrap-traverser.py @@ -50,7 +50,10 @@ def build_known(desc, *, root): def link(src, dest): dest = os.path.normpath(dest) os.makedirs(os.path.dirname(dest), exist_ok=True) - os.symlink(src, dest) + try: + os.link(src, dest) + except: + os.symlink(src, dest) def build_local(desc, *, root, config): repo_name = desc["data"]["repository"] diff --git a/bin/parallel-bootstrap-traverser.py b/bin/parallel-bootstrap-traverser.py index beaf75bd..b9eb2d36 100755 --- a/bin/parallel-bootstrap-traverser.py +++ b/bin/parallel-bootstrap-traverser.py @@ -196,7 +196,10 @@ def build_known(desc, *, root): def link(src, dest): dest = os.path.normpath(dest) os.makedirs(os.path.dirname(dest), exist_ok=True) - os.symlink(src, dest) + try: + os.link(src, dest) + except: + os.symlink(src, dest) def build_local(desc, *, root, config): repo_name = desc["data"]["repository"] |