diff options
author | Alon Zakai <alonzakai@gmail.com> | 2011-09-08 17:44:10 -0700 |
---|---|---|
committer | Alon Zakai <alonzakai@gmail.com> | 2011-09-08 17:44:10 -0700 |
commit | a286d7cfc87f70d2e3c4701074d32d9284b00ede (patch) | |
tree | e057dae0bf9b8468ed5bbe207b7c8bcf7bb4fa76 /tools/shared.py | |
parent | 541ea2f893c17470342f303fca8d9169c7f48ce9 (diff) | |
parent | a70b811afca7ea85792e72f72d7211fa3b5e731b (diff) |
Merge branch 'master' into llvm-svn
Diffstat (limited to 'tools/shared.py')
-rw-r--r-- | tools/shared.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/shared.py b/tools/shared.py index 28923eee..cb0d0691 100644 --- a/tools/shared.py +++ b/tools/shared.py @@ -70,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, quantum_size=4, use_aa=False): opts = [] |