diff options
Diffstat (limited to '.externalToolBuilders/MauveTestlet.launch')
| -rw-r--r-- | .externalToolBuilders/MauveTestlet.launch | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/.externalToolBuilders/MauveTestlet.launch b/.externalToolBuilders/MauveTestlet.launch new file mode 100644 index 00000000..4333f170 --- /dev/null +++ b/.externalToolBuilders/MauveTestlet.launch @@ -0,0 +1,2 @@ +<?xml version='1.0'?> +<launchConfiguration type='org.eclipse.jdt.launching.localJavaApplication'><stringAttribute key='org.eclipse.jdt.launching.VM_INSTALL_NAME' value='classpath'/><stringAttribute key='org.eclipse.jdt.launching.PROGRAM_ARGUMENTS' value='${java_type_name}'/><stringAttribute key='org.eclipse.jdt.launching.VM_INSTALL_TYPE_ID' value='org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType'/><listAttribute key='org.eclipse.debug.ui.favoriteGroups'><listEntry value='org.eclipse.debug.ui.launchGroup.debug'/><listEntry value='org.eclipse.debug.ui.launchGroup.run'/></listAttribute><booleanAttribute key='org.eclipse.debug.core.appendEnvironmentVariables' value='true'/><stringAttribute key='org.eclipse.jdt.launching.MAIN_TYPE' value='gnu.testlet.SingleTestHarness'/><stringAttribute key='org.eclipse.jdt.launching.PROJECT_ATTR' value='mauve'/></launchConfiguration> |