>>> Starting at: Sat Jun 19 10:00:09 EDT 2010
>>> Commit: f5de4cf4e1e8bccd17515d71186e752f4716cac9
>>> Switching git branch...
Previous HEAD position was 3bfa7e6... Merge branch 'cc/cherry-pick-stdin' into pu
HEAD is now at f5de4cf... Autogenerated HTML docs for v1.7.1-422-g049e9
HEAD is now at f5de4cf Autogenerated HTML docs for v1.7.1-422-g049e9
>>> Cleaning...
>>> Building...
+ autoconf
autoconf: no input file
+ exit 1
>>> Result code: 40
FAIL
`log.out' -> `out/fail/f5de4cf4e1e8bccd17515d71186e752f4716cac9'
Done: f5de4cf4e1e8bccd17515d71186e752f4716cac9