diff options
| author | Daniel Dunbar <daniel@zuster.org> | 2010-04-05 06:48:16 +0000 |
|---|---|---|
| committer | Daniel Dunbar <daniel@zuster.org> | 2010-04-05 06:48:16 +0000 |
| commit | 1fed781fa4a729f52505facd29d63814f34b6b17 (patch) | |
| tree | e88c2c07dc2bcf059e800e81e1dc37083548c381 | |
| parent | 54d4d6353076800e0b640a380ce41e64f1041fbe (diff) | |
| download | klee-1fed781fa4a729f52505facd29d63814f34b6b17.tar.gz | |
Fix some tests w/ objdir != srcdir.
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@100422 91177308-0d34-0410-b5e6-96231b3b80d8
| -rw-r--r-- | test/Makefile | 4 | ||||
| -rw-r--r-- | test/regression/2007-08-16-invalid-constant-value.c | 2 |
2 files changed, 3 insertions, 3 deletions
diff --git a/test/Makefile b/test/Makefile index 01def0f1..46d69d40 100644 --- a/test/Makefile +++ b/test/Makefile @@ -89,8 +89,8 @@ site.exp: Makefile $(LEVEL)/Makefile.config @echo 'set compile_c "$(CC) $(CPP.Flags) $(C.Flags) $(CompileCommonOpts) -c "' >>site.tmp @echo 'set compile_cxx "$(CXX) $(CPP.Flags) $(CXX.Flags) $(CompileCommonOpts) - c"' >> site.tmp @echo 'set link "$(CXX) $(CPP.Flags) $(CXX.Flags) $(CompileCommonOpts) $(LD.Flags)"' >>site.tmp - @echo 'set llvmgcc "$(LLVMCC)"' >> site.tmp - @echo 'set llvmgxx "$(LLVMCXX)"' >> site.tmp + @echo 'set llvmgcc "$(LLVMCC) -I$(PROJ_SRC_ROOT)/include"' >> site.tmp + @echo 'set llvmgxx "$(LLVMCXX) -I$(PROJ_SRC_ROOT)/include"' >> site.tmp @echo '## All variables above are generated by configure. Do Not Edit ## ' >>site.tmp @test ! -f site.exp || \ sed '1,/^## All variables above are.*##/ d' site.exp >> site.tmp diff --git a/test/regression/2007-08-16-invalid-constant-value.c b/test/regression/2007-08-16-invalid-constant-value.c index ecb3283f..75f87fe4 100644 --- a/test/regression/2007-08-16-invalid-constant-value.c +++ b/test/regression/2007-08-16-invalid-constant-value.c @@ -1,6 +1,6 @@ // RUN: rm -f %t4.out %t4.err %t4.log // RUN: %llvmgcc %s -emit-llvm -O2 -c -o %t1.bc -// RUN: llvm-as -f ../../Feature/_utils._ll -o %t2.bc +// RUN: llvm-as -f %p/../Feature/_utils._ll -o %t2.bc // RUN: llvm-ld -disable-opt %t1.bc %t2.bc -o %t3 // RUN: %klee %t3.bc |