diff options
Diffstat (limited to 'tools/shared.py')
| -rw-r--r-- | tools/shared.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/tools/shared.py b/tools/shared.py index ce42d794..83c921da 100644 --- a/tools/shared.py +++ b/tools/shared.py @@ -14,6 +14,7 @@ exec(open(CONFIG_FILE, 'r').read()) CLANG=os.path.expanduser(os.path.join(LLVM_ROOT, 'clang++')) LLVM_LINK=os.path.join(LLVM_ROOT, 'llvm-link') +LLVM_LD=os.path.join(LLVM_ROOT, 'llvm-ld') LLVM_OPT=os.path.expanduser(os.path.join(LLVM_ROOT, 'opt')) LLVM_AS=os.path.expanduser(os.path.join(LLVM_ROOT, 'llvm-as')) LLVM_DIS=os.path.expanduser(os.path.join(LLVM_ROOT, 'llvm-dis')) @@ -69,7 +70,7 @@ def line_splitter(data): def limit_size(string, MAX=80*20): if len(string) < MAX: return string - return string[0:MAX] + '...' + return string[0:MAX/2] + '\n[..]\n' + string[-MAX/2:] def pick_llvm_opts(optimization_level, optimize_size, allow_nonportable=False, use_aa=False): opts = [] |