diff options
| author | Wade Walker <[email protected]> | 2011-02-14 09:12:28 +0800 |
|---|---|---|
| committer | Sven Gothel <[email protected]> | 2011-02-25 11:47:47 +0800 |
| commit | 2c758a3f2defcc06e0c5bb29bb5549b45dce194d (patch) | |
| tree | 189cdb775930efcb9fb2271d9617101d0350b550 /.externalToolBuilders/org.eclipse.jdt.core.javabuilder.launch | |
| parent | 5cf4eeb334ac5390b0c681da0fb17db56a143395 (diff) | |
Speed up Eclipse build
Changes Eclipse's build settings to reduce the amount of stuff
rebuilt by the build.xml flow.
Diffstat (limited to '.externalToolBuilders/org.eclipse.jdt.core.javabuilder.launch')
| -rw-r--r-- | .externalToolBuilders/org.eclipse.jdt.core.javabuilder.launch | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/.externalToolBuilders/org.eclipse.jdt.core.javabuilder.launch b/.externalToolBuilders/org.eclipse.jdt.core.javabuilder.launch new file mode 100644 index 0000000..7fe64af --- /dev/null +++ b/.externalToolBuilders/org.eclipse.jdt.core.javabuilder.launch @@ -0,0 +1,7 @@ +<?xml version="1.0" encoding="UTF-8" standalone="no"?> +<launchConfiguration type="org.eclipse.ant.AntBuilderLaunchConfigurationType"> +<booleanAttribute key="org.eclipse.ui.externaltools.ATTR_BUILDER_ENABLED" value="false"/> +<stringAttribute key="org.eclipse.ui.externaltools.ATTR_DISABLED_BUILDER" value="org.eclipse.jdt.core.javabuilder"/> +<mapAttribute key="org.eclipse.ui.externaltools.ATTR_TOOL_ARGUMENTS"/> +<booleanAttribute key="org.eclipse.ui.externaltools.ATTR_TRIGGERS_CONFIGURED" value="true"/> +</launchConfiguration> |