aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAlon Zakai <alonzakai@gmail.com>2012-11-13 17:42:35 -0800
committerAlon Zakai <alonzakai@gmail.com>2012-11-13 17:42:35 -0800
commit587a1b3fdf87fce3440b8dc7422ea5a436d707ae (patch)
tree0fc305976e773f60b7119855615cc93ff81602f6
parent81fba7f602257a6ff682f6193eec251b52c1031b (diff)
forward -v to child processes
-rwxr-xr-xemcc1
1 files changed, 1 insertions, 0 deletions
diff --git a/emcc b/emcc
index 510a40dc..2a5b15de 100755
--- a/emcc
+++ b/emcc
@@ -662,6 +662,7 @@ try:
elif newargs[i] == '-v':
shared.COMPILER_OPTS += ['-v']
DEBUG = 1
+ os.environ['EMCC_DEBUG'] = '1' # send to child processes too
newargs[i] = ''
elif newargs[i].startswith('--shell-file'):
check_bad_eq(newargs[i])