Re: [cdt-patch] Simple patch for StandardBuidManager.java

["Alain Magloire" <alain@xxxxxxx>]

> 

Ping !!
Sean could you have a look?

> This patch just fixes a bug in code:
> 
> Alex Chapiro
> 
> Index: StandardBuildManager.java
> ===================================================================
> RCS file:
> /home/tools/org.eclipse.cdt.core/build/org/eclipse/cdt/core/build/standard/S
> tandardBuildManager.java,v
> retrieving revision 1.3
> diff -u -r1.3 StandardBuildManager.java
> --- StandardBuildManager.java 10 Jul 2003 18:28:24 -0000 1.3
> +++ StandardBuildManager.java 11 Jul 2003 19:44:20 -0000
> @@ -209,8 +209,10 @@
>    NodeList nodes = rootElement.getChildNodes();
>    for (int i = 0; i < nodes.getLength(); ++i) {
>     Node node = nodes.item(i);
> -   if (node instanceof Element)
> +   if (node instanceof Element) {
>      rootElement.removeChild(nodes.item(i));
> +    --i;
> +   }
>    }
> 
>    // Save the build info
>