diff options
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 |