diff options
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/setup.py | 2 | ||||
| -rw-r--r-- | tools/write_gn_args.py | 16 |
2 files changed, 17 insertions, 1 deletions
diff --git a/tools/setup.py b/tools/setup.py index 4958cca2a..95b3b880a 100755 --- a/tools/setup.py +++ b/tools/setup.py @@ -2,7 +2,7 @@ # Copyright 2018-2019 the Deno authors. All rights reserved. MIT license. import third_party from util import build_mode, build_path, enable_ansi_colors, root_path, run -from util import shell_quote +from util import shell_quote, run_output import os import re import sys diff --git a/tools/write_gn_args.py b/tools/write_gn_args.py new file mode 100644 index 000000000..764dcc6c1 --- /dev/null +++ b/tools/write_gn_args.py @@ -0,0 +1,16 @@ +# Copyright 2018-2019 the Deno authors. All rights reserved. MIT license. +import os +import sys +import third_party +from util import run_output, build_path + +out_filename = sys.argv[1] + +args_list = run_output([ + third_party.gn_path, "args", + build_path(), "--list", "--short", "--overrides-only" +], + env=third_party.google_env()) + +with open(out_filename, "w") as f: + f.write(args_list) |