INDEX build failed for 7.x

[Florian Smeets]

On 05/16/2012 12:24, Erwin Lansing wrote:
> INDEX build failed with errors:
> Generating INDEX-7 - please wait.. Done.
> 
> Committers on the hook:
> ale culot dinoex flo gabor makc miwi mm 
> 

It looks like the cvs up was run in the middle of my php53 commit and it
does not have all the changes. make index works in my tree.

So the next run *should* be OK :)

Florian