patch to run 1 testlet with "classpath" fakejdk

["Raif S. Naffah" <raif at swiftdsl dot com dot au>]

hello there,

pls. find attached a patch to add to Eclipse a Runner that runs one 
selected Mauve testlet with the "fakejdk" named "classpath."

 
cheers;
rsn

Index: ChangeLog
===================================================================
RCS file: /cvs/mauve/mauve/ChangeLog,v
retrieving revision 1.1321
diff -u -r1.1321 ChangeLog
--- ChangeLog	24 Dec 2005 18:22:43 -0000	1.1321
+++ ChangeLog	24 Dec 2005 22:19:36 -0000
@@ -1,3 +1,7 @@
+2005-12-25  Raif S. Naffah  <raif@swiftdsl.com.au>
+
+	* .externalToolBuilders/MauveTestlet.launch: New file.
+
 2005-12-24  Tom Tromey  <tromey@redhat.com>

 	* gnu/testlet/java/io/InputStreamReader/getEncoding.java (test): Fix
Index: .externalToolBuilders/MauveTestlet.launch
===================================================================
RCS file: .externalToolBuilders/MauveTestlet.launch
diff -N .externalToolBuilders/MauveTestlet.launch
--- /dev/null	1 Jan 1970 00:00:00 -0000
+++ .externalToolBuilders/MauveTestlet.launch	1 Jan 1970 00:00:00 -0000
@@ -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>

Attachment: pgp00000.pgp
Description: PGP signature