diff options
Diffstat (limited to 'tools/emmakenxx.py')
| -rwxr-xr-x | tools/emmakenxx.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/tools/emmakenxx.py b/tools/emmakenxx.py index e271d765..3fd434a4 100755 --- a/tools/emmakenxx.py +++ b/tools/emmakenxx.py @@ -12,5 +12,6 @@ def path_from_root(*pathelems): exec(open(path_from_root('tools', 'shared.py'), 'r').read()) emmaken = path_from_root('tools', 'emmaken.py') -exit(os.execvp('python', ['python', emmaken] + sys.argv[1:] + ['-EMMAKEN_CXX'])) +os.environ['EMMAKEN_CXX'] = '1' +exit(os.execvp('python', ['python', emmaken] + sys.argv[1:])) |