diff options
Diffstat (limited to 'profiling/org.eclipse.linuxtools.profiling.launch/schema/org.eclipse.linuxtools.profiling.launch.provider.exsd')
-rw-r--r-- | profiling/org.eclipse.linuxtools.profiling.launch/schema/org.eclipse.linuxtools.profiling.launch.provider.exsd | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/profiling/org.eclipse.linuxtools.profiling.launch/schema/org.eclipse.linuxtools.profiling.launch.provider.exsd b/profiling/org.eclipse.linuxtools.profiling.launch/schema/org.eclipse.linuxtools.profiling.launch.provider.exsd index e5098925be..811a522771 100644 --- a/profiling/org.eclipse.linuxtools.profiling.launch/schema/org.eclipse.linuxtools.profiling.launch.provider.exsd +++ b/profiling/org.eclipse.linuxtools.profiling.launch/schema/org.eclipse.linuxtools.profiling.launch.provider.exsd @@ -101,6 +101,13 @@ Invalid values will be assigned the lowest priority to the extension. </appinfo> </annotation> </attribute> + <attribute name="name" type="string" use="required"> + <annotation> + <documentation> + Name of launch provider. + </documentation> + </annotation> + </attribute> </complexType> </element> |