diff options
-rw-r--r-- | test/Feature/LinkLLVMLib.c | 2 | ||||
-rw-r--r-- | test/lit.cfg | 2 |
2 files changed, 3 insertions, 1 deletions
diff --git a/test/Feature/LinkLLVMLib.c b/test/Feature/LinkLLVMLib.c index 7639bfef..95437094 100644 --- a/test/Feature/LinkLLVMLib.c +++ b/test/Feature/LinkLLVMLib.c @@ -1,5 +1,5 @@ // RUN: %llvmgcc %s -g -emit-llvm -O0 -c -o %t1.bc -DLINK_LLVM_LIB_TEST_LIB -// RUN: llvm-ar r %t1.a %t1.bc +// RUN: %llvmar r %t1.a %t1.bc // // RUN: %llvmgcc %s -g -emit-llvm -O0 -c -o %t2.bc -DLINK_LLVM_LIB_TEST_EXEC // RUN: rm -rf %t.klee-out diff --git a/test/lit.cfg b/test/lit.cfg index 4fe24ba2..39d23fc5 100644 --- a/test/lit.cfg +++ b/test/lit.cfg @@ -87,6 +87,8 @@ for name in subs: config.substitutions.append( ('%lli', os.path.join(llvm_tools_dir, 'lli')) ) # Add a substitution for llvm-as config.substitutions.append( ('%llvmas', os.path.join(llvm_tools_dir, 'llvm-as')) ) +# Add a substitution for llvm-ar +config.substitutions.append( ('%llvmar', os.path.join(llvm_tools_dir, 'llvm-ar')) ) # Get KLEE and Kleaver specific parameters passed on llvm-lit cmd line # e.g. llvm-lit --param klee_opts=--help |