1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-07-24 17:35:35 +02:00

Apply patch for Bugzilla 139988 - fix resource tool id generation

This commit is contained in:
Leo Treggiari 2006-05-04 18:50:47 +00:00
parent 50b8292fb3
commit 8810434b27

View file

@ -1559,7 +1559,7 @@ public class Configuration extends BuildObject implements IConfiguration {
String subId = new String();
for (int i = 0; i < tools.length; i++) {
if( tools[i].buildsFileType(extString) ) {
subId = tools[i].getId() + "." + path; //$NON-NLS-1$
subId = ManagedBuildManager.calculateChildId(tools[i].getId(), path);
resConfig.createTool(tools[i], subId, tools[i].getName(), false);
}
}