diff options
author | Adrian Herrera <adrian.herrera02@gmail.com> | 2017-01-06 22:47:14 +0100 |
---|---|---|
committer | Dan Liew <delcypher@gmail.com> | 2017-01-08 09:42:58 +0000 |
commit | 23e656156e4790a06a295d48932db53f2a582227 (patch) | |
tree | 92b345b7b8a23496a51642a0fc8a115a90a40717 /test/Feature | |
parent | ad22e8420fb2f4fa1d98a3753ac844c3dd27d8ce (diff) | |
download | klee-23e656156e4790a06a295d48932db53f2a582227.tar.gz |
tests: Added substitution for llvm-ar
Brings llvm-ar into line with llvm-as and lli, removing the assumption that llvm-ar is installed system wide
Diffstat (limited to 'test/Feature')
-rw-r--r-- | test/Feature/LinkLLVMLib.c | 2 |
1 files changed, 1 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 |