diff options
author | Ry Dahl <ry@tinyclouds.org> | 2020-01-05 09:19:29 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-01-05 09:19:29 -0500 |
commit | 5f1df038fb1462607af3555fa7431c05ca484dce (patch) | |
tree | 0e819c1e1ec422b9573abc379c79fcbcc1cbd88c /tools/sync_gclient.py | |
parent | c41280a057c9ca300afe43f2cb4f576e050f8cde (diff) |
Replace libdeno with rusty_v8 (#3556)
Diffstat (limited to 'tools/sync_gclient.py')
-rwxr-xr-x | tools/sync_gclient.py | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/tools/sync_gclient.py b/tools/sync_gclient.py deleted file mode 100755 index aa0e43096..000000000 --- a/tools/sync_gclient.py +++ /dev/null @@ -1,13 +0,0 @@ -#!/usr/bin/env python -# Copyright 2018-2020 the Deno authors. All rights reserved. MIT license. -# Run this script if you are changing //gclient_config.py -# To update the deno_third_party git repo after running this, try the following: -# cd third_party -# find v8 -type f | grep -v "\.git" | \ -# xargs -I% git add -f --no-warn-embedded-repo "%" - -import third_party -import util - -util.enable_ansi_colors() -third_party.run_gclient_sync() |