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/util.py | |
| parent | 446081b1e64dc4d1938992f3dd10aefabb9b2851 (diff) | |
tools/setup: avoid running `gn gen` twice in the same output directory
Diffstat (limited to 'tools/util.py')
| -rw-r--r-- | tools/util.py | 4 |
1 files changed, 2 insertions, 2 deletions
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" |