[cdt-dev] MakeBuilder question

[Vladimir Prus <vladimir@xxxxxxxxxxxxxxxx>]

In CDT 4.0 RC0, looking at org.eclipse.cdt.make.core/plugin.xml,
I see this:

   <extension
         id="makeBuilder"
         name="%builderMake.name"
         point="org.eclipse.core.resources.builders">
      <builder
            hasNature="true"
            isConfigurable="true">
         <run class="org.eclipse.cdt.make.core.MakeBuilder">
            <parameter
                  name="defaultCommand"
                  value="make">
            </parameter>
         </run>
      </builder>
   </extension>


IIUC, this <run ....... <parameter> > flagment is used to pass
parameters to IExecutableExtension.setInitializationData. However looking at
MakeBuild hierarchy, I see setInitializationData defined only in IncrementalProjectBuilder,
where it does nothing. So, it seems the <parameter> element is being ignored.

Am I missing something, or <parameter> can be just removed?

Thanks,
Volodya