diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2011-09-14 18:08:52 -0700 |
|---|---|---|
| committer | Alon Zakai <alonzakai@gmail.com> | 2011-09-14 18:08:52 -0700 |
| commit | ce07f2aa7735c267785115c23f28321f61c7b250 (patch) | |
| tree | 03ea71dbf30887f38dc585b678d6299b5e608661 /tools/exec_llvm.py | |
| parent | 55013f30bce701468b5dcdd00dd0df3d53c75c33 (diff) | |
intentionally do reSign in printing %d
Diffstat (limited to 'tools/exec_llvm.py')
| -rwxr-xr-x | tools/exec_llvm.py | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/tools/exec_llvm.py b/tools/exec_llvm.py index aa18aa2b..3b08111a 100755 --- a/tools/exec_llvm.py +++ b/tools/exec_llvm.py @@ -41,8 +41,6 @@ def path_from_root(*pathelems): return os.path.join(os.path.sep, *(abspath.split(os.sep)[:-1] + list(pathelems))) exec(open(path_from_root('tools', 'shared.py'), 'r').read()) -print '// EXEC_LLVM: ', sys.argv - Popen([LLVM_OPT, sys.argv[1], '-strip-debug', '-o=' + sys.argv[1]+'.clean.bc']).communicate()[0] # Execute with empty environment - just like the JS script will have |