>>> Starting at: Tue Jun 8 04:00:11 EDT 2010
>>> Commit: 13002fbb3347e98e74c1ff7ec581fda52a09dd72
>>> Switching git branch...
Previous HEAD position was 325b4f5... Merge branch 'cc/maint-diff-CC-binary' into pu
HEAD is now at 13002fb... Autogenerated HTML docs for v1.7.1-251-g92a7
HEAD is now at 13002fb Autogenerated HTML docs for v1.7.1-251-g92a7
>>> Cleaning...
>>> Building...
+ autoconf
autoconf: no input file
+ exit 1
>>> Result code: 40
FAIL
`log.out' -> `out/fail/13002fbb3347e98e74c1ff7ec581fda52a09dd72'
Done: 13002fbb3347e98e74c1ff7ec581fda52a09dd72