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 | |
| parent | 446081b1e64dc4d1938992f3dd10aefabb9b2851 (diff) | |
tools/setup: avoid running `gn gen` twice in the same output directory
| -rwxr-xr-x | tools/setup.py | 10 | ||||
| -rw-r--r-- | tools/util.py | 4 |
2 files changed, 11 insertions, 3 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") diff --git a/tools/util.py b/tools/util.py index 6a2da8033..77547c238 100644 --- a/tools/util.py +++ b/tools/util.py @@ -103,11 +103,11 @@ def rmtree(directory): shutil.rmtree(directory, onerror=rm_readonly) -def build_mode(): +def build_mode(default="debug"): if "DENO_BUILD_MODE" in os.environ: return os.environ["DENO_BUILD_MODE"] else: - return "debug" + return default # E.G. "out/debug" |
