diff options
| author | Bert Belder <bertbelder@gmail.com> | 2018-07-31 11:19:02 +0200 |
|---|---|---|
| committer | Bert Belder <bertbelder@gmail.com> | 2018-08-02 02:59:36 +0200 |
| commit | e5b7d31abae5ecfe9449279d54973021d4c372b0 (patch) | |
| tree | ac6ca704b5be8c822a0fa4d3878116302636d6fb /tools/setup.py | |
| parent | 446081b1e64dc4d1938992f3dd10aefabb9b2851 (diff) | |
tools/setup: avoid running `gn gen` twice in the same output directory
Diffstat (limited to 'tools/setup.py')
| -rwxr-xr-x | tools/setup.py | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/tools/setup.py b/tools/setup.py index 20271f4b3..19a5c07a3 100755 --- a/tools/setup.py +++ b/tools/setup.py @@ -33,7 +33,7 @@ def get_gn_args(): # gn gen. -for mode in ["release", "debug"]: +def gn_gen(mode): os.environ["DENO_BUILD_MODE"] = mode gn_args = get_gn_args() @@ -52,3 +52,11 @@ for mode in ["release", "debug"]: run([third_party.gn_path, "gen", build_path()], env=third_party.google_env()) + + +mode = build_mode(default=None) +if mode is not None: + gn_gen(mode) +else: + gn_gen("release") + gn_gen("debug") |