diff options
author | Alon Zakai <alonzakai@gmail.com> | 2012-11-13 17:42:35 -0800 |
---|---|---|
committer | Alon Zakai <alonzakai@gmail.com> | 2012-11-13 17:42:35 -0800 |
commit | 587a1b3fdf87fce3440b8dc7422ea5a436d707ae (patch) | |
tree | 0fc305976e773f60b7119855615cc93ff81602f6 | |
parent | 81fba7f602257a6ff682f6193eec251b52c1031b (diff) |
forward -v to child processes
-rwxr-xr-x | emcc | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -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]) |