diff options
Diffstat (limited to '.externalToolBuilders')
| -rw-r--r-- | .externalToolBuilders/make.launch | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/.externalToolBuilders/make.launch b/.externalToolBuilders/make.launch new file mode 100644 index 0000000..55b5c0c --- /dev/null +++ b/.externalToolBuilders/make.launch @@ -0,0 +1,9 @@ +<?xml version="1.0" encoding="UTF-8" standalone="no"?> +<launchConfiguration type="org.eclipse.ui.externaltools.ProgramBuilderLaunchConfigurationType"> +<booleanAttribute key="org.eclipse.debug.ui.ATTR_LAUNCH_IN_BACKGROUND" value="false"/> +<stringAttribute key="org.eclipse.ui.externaltools.ATTR_LOCATION" value="/usr/bin/make"/> +<stringAttribute key="org.eclipse.ui.externaltools.ATTR_RUN_BUILD_KINDS" value="full,incremental,"/> +<stringAttribute key="org.eclipse.ui.externaltools.ATTR_TOOL_ARGUMENTS" value="plugins"/> +<booleanAttribute key="org.eclipse.ui.externaltools.ATTR_TRIGGERS_CONFIGURED" value="true"/> +<stringAttribute key="org.eclipse.ui.externaltools.ATTR_WORKING_DIRECTORY" value="/home/rainer/develop/vdr-1.6.0"/> +</launchConfiguration> |