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 /test/Makefile | |
| 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
Diffstat (limited to 'test/Makefile')
| -rw-r--r-- | test/Makefile | 4 |
1 files changed, 2 insertions, 2 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 |