>>> Starting at: Tue Jun 29 06:00:11 EDT 2010
>>> Commit: 50634bc80c22a5f053d88dc58d20fc37b581814a
>>> Switching git branch...
Previous HEAD position was df4ceca... Merge branch 'eb/double-convert-before-merge' into pu
HEAD is now at 50634bc... Autogenerated HTML docs for v1.7.2-rc0-10-g1ba5c
HEAD is now at 50634bc Autogenerated HTML docs for v1.7.2-rc0-10-g1ba5c
>>> Cleaning...
>>> Building...
+ autoconf
autoconf: no input file
+ exit 1
>>> Result code: 40
FAIL
`log.out' -> `out/fail/50634bc80c22a5f053d88dc58d20fc37b581814a'
Done: 50634bc80c22a5f053d88dc58d20fc37b581814a