diff options
| author | Jeff Johnston | 2012-10-24 21:47:11 +0000 |
|---|---|---|
| committer | Roland Grunberg | 2012-10-25 13:58:14 +0000 |
| commit | 513da54164b345e8285d0bbbaff08788dbb2dcc0 (patch) | |
| tree | 2cd3f4632f56a787b579478a087a9e7ad694da5f /gcov | |
| parent | 27298d878823796f2092f585ab63d88f4d3fcbae (diff) | |
| download | org.eclipse.linuxtools-513da54164b345e8285d0bbbaff08788dbb2dcc0.tar.gz org.eclipse.linuxtools-513da54164b345e8285d0bbbaff08788dbb2dcc0.tar.xz org.eclipse.linuxtools-513da54164b345e8285d0bbbaff08788dbb2dcc0.zip | |
Bug 392693: Remove "default" attribute from profiling provider schema
https://bugs.eclipse.org/bugs/show_bug.cgi?id=392693
- Remove default keyword and fix all references to the profiling
provider extension
Change-Id: I75538968dcd3fb26c2be700878119ec088d3d030
Reviewed-on: https://git.eclipse.org/r/8369
Tested-by: Hudson CI
Reviewed-by: Roland Grunberg <rgrunber@redhat.com>
IP-Clean: Roland Grunberg <rgrunber@redhat.com>
Tested-by: Roland Grunberg <rgrunber@redhat.com>
Diffstat (limited to 'gcov')
| -rw-r--r-- | gcov/org.eclipse.linuxtools.gcov.launch/plugin.xml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/gcov/org.eclipse.linuxtools.gcov.launch/plugin.xml b/gcov/org.eclipse.linuxtools.gcov.launch/plugin.xml index 2a76c9fe3d..aef88ad40f 100644 --- a/gcov/org.eclipse.linuxtools.gcov.launch/plugin.xml +++ b/gcov/org.eclipse.linuxtools.gcov.launch/plugin.xml @@ -2,7 +2,6 @@ <extension point="org.eclipse.linuxtools.profiling.launch.launchProvider"> <provider - default="true" delegate="org.eclipse.linuxtools.internal.gcov.launch.GcovLaunchConfigurationDelegate" id="org.eclipse.linuxtools.profiling.provider.coverage.gcov" name="%gcovLaunchConfiguration.name.0" |