From e888d97cff00568212487da03af92dee3d0052f1 Mon Sep 17 00:00:00 2001 From: David Inglis Date: Mon, 29 Mar 2004 17:02:02 +0000 Subject: [PATCH] fixed https://bugs.eclipse.org/bugs/show_bug.cgi?id=56583 --- .../src/org/eclipse/cdt/make/core/MakeCorePlugin.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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(); } /*