Rename "desirability" to "preference" (much less awkward), with the

[match/match.git] / .project

diff --git a/.project b/.project
index b302f1b..00459f2 100644 (file)
--- a/.project
+++ b/.project
@@ -11,11 +11,32 @@
                        <arguments>
                                <dictionary>
                                        <key>LaunchConfigHandle</key>
-                                       <value>&lt;project&gt;/.externalToolBuilders/make match.launch</value>
+                                       <value>&lt;project&gt;/.externalToolBuilders/make match program.launch</value>
+                               </dictionary>
+                       </arguments>
+               </buildCommand>
+               <buildCommand>
+                       <name>org.eclipse.ui.externaltools.ExternalToolBuilder</name>
+                       <triggers>auto,full,incremental,</triggers>
+                       <arguments>
+                               <dictionary>
+                                       <key>LaunchConfigHandle</key>
+                                       <value>&lt;project&gt;/.externalToolBuilders/make match paper.launch</value>
                                </dictionary>
                        </arguments>
                </buildCommand>
        </buildSpec>
        <natures>
        </natures>
+       <filteredResources>
+               <filter>
+                       <id>0</id>
+                       <name></name>
+                       <type>10</type>
+                       <matcher>
+                               <id>org.eclipse.ui.ide.multiFilter</id>
+                               <arguments>1.0-name-matches-true-false-.git</arguments>
+                       </matcher>
+               </filter>
+       </filteredResources>
 </projectDescription>