| <plugin> | |
| <extension | |
| point="org.eclipse.linuxtools.profiling.launch.launchProvider"> | |
| <provider | |
| delegate="org.eclipse.linuxtools.internal.gcov.launch.GcovLaunchConfigurationDelegate" | |
| description="%gcovLaunchConfiguration.description" | |
| id="org.eclipse.linuxtools.profiling.provider.coverage.gcov" | |
| information="%gcovLaunchConfiguration.information" | |
| name="%gcovLaunchConfiguration.name.0" | |
| priority="1" | |
| shortcut="org.eclipse.linuxtools.internal.gcov.launch.GcovLaunchShortcut" | |
| tabgroup="org.eclipse.linuxtools.internal.gcov.launch.GcovLaunchConfigurationTabGroup" | |
| type="coverage"> | |
| </provider> | |
| </extension> | |
| </plugin> |