Builder klee-2.6-x86_64-linux Build #60

Results:

Failed compile_1

SourceStamp:

BuildSlave:

Reason:

scheduler

Steps and Logfiles:

1. get_builddir set props: builddir ( 0 secs )
   1. stdio
   2. property changes
2. svn-llvm update [branch] r148961 ( 9 secs )
   1. stdio
3. configure configure Release+Asserts ( 53 secs )
   1. stdio
4. compile compile llvm ( 2 mins, 21 secs )
   1. stdio
5. svn-klee update r148961 ( 3 secs )
   1. stdio
6. configure_1 configure ( 5 secs )
   1. stdio
7. compile_1 compile klee failed ( 2 secs )
   1. stdio
8. test  
   1. - no logs -

Build Properties:

Blamelist:

1. cristic

Timing:

All Changes:

1. Change #89

   Changed by	cristic
   Changed at	Wed 25 Jan 2012 12:21:51
   Repository	http://llvm.org/svn/llvm-project/klee/trunk
   Revision	148961

   Comments

   Patch from Ben Gras which "makes Klee look for the libraries in the
   install location instead of the compile-tree location if a
   compile-time macro is enabled."
   
   

   Changed files

   • Makefile.common
   • tools/klee/main.cpp