diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2013-02-26 17:01:34 -0500 |
|---|---|---|
| committer | Alon Zakai <alonzakai@gmail.com> | 2013-02-26 17:01:34 -0500 |
| commit | 0e51f92d800dac9e697a8488c36b62e23bdb0d76 (patch) | |
| tree | b57943da80c1bf0902b064d753e4aa2905684841 | |
| parent | b2c8d8dede8aeab37b53f6c8d923865db13fc7ec (diff) | |
make DEBUG an int
| -rw-r--r-- | tools/shared.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/shared.py b/tools/shared.py index b0fe45d8..c8c09617 100644 --- a/tools/shared.py +++ b/tools/shared.py @@ -294,7 +294,7 @@ except: CANONICAL_TEMP_DIR = os.path.join(TEMP_DIR, 'emscripten_temp') EMSCRIPTEN_TEMP_DIR = None -DEBUG = os.environ.get('EMCC_DEBUG') +DEBUG = int(os.environ.get('EMCC_DEBUG') or 0) if DEBUG: try: EMSCRIPTEN_TEMP_DIR = CANONICAL_TEMP_DIR |