X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=.externalToolBuilders%2FJalview%20Release%20indices%20%5BBuilder%5D.launch;fp=.externalToolBuilders%2FJalview%20Release%20indices%20%5BBuilder%5D.launch;h=a5659a6ecbde9ee8e1d03522ff6e57686ab0976a;hb=04d2166bf6e1ae6df7fb0e346d228b69a8e8a089;hp=57994d7a5378d135c35bbfd65a0acfe5f6614c35;hpb=ba0af7dced1d8ba59fb04da5bf03ee058253c75e;p=jalview.git

diff --git a/.externalToolBuilders/Jalview Release indices [Builder].launch b/.externalToolBuilders/Jalview Release indices [Builder].launch
index 57994d7..a5659a6 100644
--- a/.externalToolBuilders/Jalview Release indices [Builder].launch	
+++ b/.externalToolBuilders/Jalview Release indices [Builder].launch	
@@ -15,6 +15,7 @@
 <stringAttribute key="org.eclipse.jdt.launching.PROJECT_ATTR" value="jalview"/>
 <stringAttribute key="org.eclipse.jdt.launching.SOURCE_PATH_PROVIDER" value="org.eclipse.ant.ui.AntClasspathProvider"/>
 <stringAttribute key="org.eclipse.ui.externaltools.ATTR_ANT_TARGETS" value="buildindices,"/>
+<booleanAttribute key="org.eclipse.ui.externaltools.ATTR_BUILDER_ENABLED" value="false"/>
 <stringAttribute key="org.eclipse.ui.externaltools.ATTR_LAUNCH_CONFIGURATION_BUILD_SCOPE" value="${none}"/>
 <stringAttribute key="org.eclipse.ui.externaltools.ATTR_LOCATION" value="${build_project}/build.xml"/>
 <stringAttribute key="org.eclipse.ui.externaltools.ATTR_RUN_BUILD_KINDS" value="full,incremental,"/>