diff --git a/build/org.eclipse.cdt.make.core/src/org/eclipse/cdt/make/core/MakeCorePlugin.java b/build/org.eclipse.cdt.make.core/src/org/eclipse/cdt/make/core/MakeCorePlugin.java index a99fa80dd3a..a1026eb03c1 100644 --- a/build/org.eclipse.cdt.make.core/src/org/eclipse/cdt/make/core/MakeCorePlugin.java +++ b/build/org.eclipse.cdt.make.core/src/org/eclipse/cdt/make/core/MakeCorePlugin.java @@ -204,11 +204,11 @@ public class MakeCorePlugin extends Plugin { } public void shutdown() throws CoreException { - super.shutdown(); if ( fTargetManager != null) { fTargetManager.shutdown(); fTargetManager = null; } + super.shutdown(); } /*