diff options
Diffstat (limited to 'build/org.eclipse.cdt.make.ui/plugin.xml')
-rw-r--r-- | build/org.eclipse.cdt.make.ui/plugin.xml | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/build/org.eclipse.cdt.make.ui/plugin.xml b/build/org.eclipse.cdt.make.ui/plugin.xml index 430a7a35fd2..e4c1f7bbd09 100644 --- a/build/org.eclipse.cdt.make.ui/plugin.xml +++ b/build/org.eclipse.cdt.make.ui/plugin.xml @@ -651,4 +651,11 @@ label="Make"> </tag> </extension> + <extension + point="org.eclipse.cdt.launch.coreBuildTab"> + <provider + nature="org.eclipse.cdt.make.core.makeNature" + tabClass="org.eclipse.cdt.make.internal.ui.MakeBuildSettingsTab"> + </provider> + </extension> </plugin> |