2018-07-04 09:04:59 -04:00
|
|
|
#!/usr/bin/env python
|
2020-01-02 15:13:47 -05:00
|
|
|
# Copyright 2018-2020 the Deno authors. All rights reserved. MIT license.
|
2019-06-11 18:03:05 -04:00
|
|
|
# Run this script if you are changing //gclient_config.py
|
2018-07-13 03:24:07 -04:00
|
|
|
# To update the deno_third_party git repo after running this, try the following:
|
|
|
|
# cd third_party
|
2019-06-11 18:03:05 -04:00
|
|
|
# find v8 -type f | grep -v "\.git" | \
|
2018-11-30 03:27:41 -05:00
|
|
|
# xargs -I% git add -f --no-warn-embedded-repo "%"
|
2018-07-25 04:17:44 -04:00
|
|
|
|
|
|
|
import third_party
|
2018-09-02 17:37:14 -04:00
|
|
|
import util
|
|
|
|
|
|
|
|
util.enable_ansi_colors()
|
2018-07-25 04:17:44 -04:00
|
|
|
third_party.run_gclient_sync()
|