1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-08-17 21:25:58 +02:00

Fix scanner info cache to properly refresh resource commands.

Change-Id: I32c1ad979a9261ab0fa592b252b6aa109a55ebba
This commit is contained in:
Doug Schaefer 2016-09-09 11:01:40 -04:00
parent 11ff561bae
commit 5a1828f37d

View file

@ -117,10 +117,9 @@ public class ScannerInfoCache {
// we're already there
return;
}
} else {
command.resourcePaths.add(resource.getLocation().toOSString());
resourceMap.put(resourcePath, command);
}
command.resourcePaths.add(resource.getLocation().toOSString());
resourceMap.put(resourcePath, command);
}
}