diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2011-11-19 10:12:11 -0800 |
|---|---|---|
| committer | Alon Zakai <alonzakai@gmail.com> | 2011-11-19 10:12:11 -0800 |
| commit | c9cdf27ce9007e934fec257d75411d08c1ebacf6 (patch) | |
| tree | a38a556ab3ef4a8002cb381b962498c71cb6d152 /tools | |
| parent | 0af3502cde9a78f23e898264ed3a59ff88816541 (diff) | |
tweak to pick_llvm_opts
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/shared.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/shared.py b/tools/shared.py index f720e890..60dde9dc 100644 --- a/tools/shared.py +++ b/tools/shared.py @@ -372,4 +372,5 @@ class Building: if optimization_level > 1: opts.append('-constmerge') Building.LLVM_OPT_OPTS = opts + return opts |