diff options
| m--------- | third_party | 0 | ||||
| -rw-r--r-- | tools/third_party.py | 1 |
2 files changed, 1 insertions, 0 deletions
diff --git a/third_party b/third_party -Subproject 7f6923ab6e7125238a69d4c0dd8b31f12cb78ce +Subproject 63d8141691c6e6f0e5b731f8d79f744a00378bf diff --git a/tools/third_party.py b/tools/third_party.py index d7b587845..0578899cd 100644 --- a/tools/third_party.py +++ b/tools/third_party.py @@ -104,6 +104,7 @@ def fix_symlinks(): remove_and_symlink("v8/third_party/jinja2", tp("jinja2"), True) remove_and_symlink("v8/third_party/llvm-build", tp("llvm-build"), True) remove_and_symlink("v8/third_party/markupsafe", tp("markupsafe"), True) + remove_and_symlink("../../build", tp("v8/build"), True) # On Windows, git doesn't create the right type of symlink if the symlink # and it's target are in different repos. Here we fix the symlinks that |