diff options
| -rw-r--r-- | polly/test/lit.site.cfg.in | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/polly/test/lit.site.cfg.in b/polly/test/lit.site.cfg.in index 53204d8b779..8c9a3a132f4 100644 --- a/polly/test/lit.site.cfg.in +++ b/polly/test/lit.site.cfg.in @@ -35,9 +35,15 @@ if config.link_polly_into_tools == '' or \ config.link_polly_into_tools.lower() == 'notfound' or \ config.link_polly_into_tools.lower() == 'link_polly_into_tools-notfound': config.substitutions.append(('%loadPolly', '-load ' - + config.polly_lib_dir + '/LLVMPolly@LLVM_SHLIBEXT@')) + + config.polly_lib_dir + '/LLVMPolly@LLVM_SHLIBEXT@' + + ' -polly-detect-unprofitable ' + + ' -polly-no-early-exit ' + )) else: - config.substitutions.append(('%loadPolly', '')) + config.substitutions.append(('%loadPolly', '' + + ' -polly-detect-unprofitable ' + + ' -polly-no-early-exit ' + )) # Let the main config do the real work. lit_config.load_config(config, "@POLLY_SOURCE_DIR@/test/lit.cfg") |
