diff options
Diffstat (limited to '.project')
-rw-r--r-- | .project | 21 |
1 files changed, 3 insertions, 18 deletions
@@ -6,33 +6,18 @@ </projects> <buildSpec> <buildCommand> - <name>org.eclipse.ui.externaltools.ExternalToolBuilder</name> - <triggers>full,incremental,</triggers> + <name>ch.epfl.lamp.sdt.core.scalabuilder</name> <arguments> - <dictionary> - <key>LaunchConfigHandle</key> - <value><project>/.externalToolBuilders/ch.epfl.lamp.sdt.core.scalabuilder.launch</value> - </dictionary> </arguments> </buildCommand> <buildCommand> - <name>org.eclipse.ui.externaltools.ExternalToolBuilder</name> - <triggers>full,incremental,</triggers> + <name>org.eclipse.pde.ManifestBuilder</name> <arguments> - <dictionary> - <key>LaunchConfigHandle</key> - <value><project>/.externalToolBuilders/org.eclipse.pde.ManifestBuilder.launch</value> - </dictionary> </arguments> </buildCommand> <buildCommand> - <name>org.eclipse.ui.externaltools.ExternalToolBuilder</name> - <triggers>full,incremental,</triggers> + <name>org.eclipse.pde.SchemaBuilder</name> <arguments> - <dictionary> - <key>LaunchConfigHandle</key> - <value><project>/.externalToolBuilders/org.eclipse.pde.SchemaBuilder.launch</value> - </dictionary> </arguments> </buildCommand> </buildSpec> |