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 840966e6..04801649 100755 --- a/tools/exec_llvm.py +++ b/tools/exec_llvm.py @@ -41,8 +41,6 @@ def path_from_root(*pathelems): return os.path.join(rootpath, *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 |