diff options
author | mrennie | 2011-09-20 13:53:26 +0000 |
---|---|---|
committer | mrennie | 2011-09-20 13:53:26 +0000 |
commit | 6f8daed33c35a3d295bf9597db71a0e0c81894bd (patch) | |
tree | 5f8767b18725a74e41e27f3cdc034cbc3b59ac11 /org.eclipse.core.externaltools | |
parent | 7a5ccc300f97a6f23b4d515091009df10d385a5b (diff) | |
download | eclipse.platform.debug-6f8daed33c35a3d295bf9597db71a0e0c81894bd.tar.gz eclipse.platform.debug-6f8daed33c35a3d295bf9597db71a0e0c81894bd.tar.xz eclipse.platform.debug-6f8daed33c35a3d295bf9597db71a0e0c81894bd.zip |
Bug 289220 - external tool builder 'Program' should not ask me to savev20110920-1353
unrelated files
Diffstat (limited to 'org.eclipse.core.externaltools')
-rw-r--r-- | org.eclipse.core.externaltools/src/org/eclipse/core/externaltools/internal/launchConfigurations/ProgramLaunchDelegate.java | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/org.eclipse.core.externaltools/src/org/eclipse/core/externaltools/internal/launchConfigurations/ProgramLaunchDelegate.java b/org.eclipse.core.externaltools/src/org/eclipse/core/externaltools/internal/launchConfigurations/ProgramLaunchDelegate.java index a1ae3a67b..022279070 100644 --- a/org.eclipse.core.externaltools/src/org/eclipse/core/externaltools/internal/launchConfigurations/ProgramLaunchDelegate.java +++ b/org.eclipse.core.externaltools/src/org/eclipse/core/externaltools/internal/launchConfigurations/ProgramLaunchDelegate.java @@ -214,4 +214,22 @@ public class ProgramLaunchDelegate extends LaunchConfigurationDelegate { } return computeBuildOrder(projects); } + + /* + * (non-Javadoc) + * + * @see org.eclipse.debug.core.model.LaunchConfigurationDelegate#saveBeforeLaunch + * (org.eclipse.debug.core.ILaunchConfiguration, java.lang.String, + * org.eclipse.core.runtime.IProgressMonitor) + */ + protected boolean saveBeforeLaunch(ILaunchConfiguration configuration, + String mode, IProgressMonitor monitor) throws CoreException { + if (IExternalToolConstants.ID_EXTERNAL_TOOLS_BUILDER_LAUNCH_CATEGORY + .equals(configuration.getType().getCategory())) { + // don't prompt for builders + return true; + } + return super.saveBeforeLaunch(configuration, mode, monitor); + } + } |