diff options
| -rw-r--r-- | .classpath | 2 | ||||
| -rw-r--r-- | .project | 21 |
2 files changed, 3 insertions, 20 deletions
diff --git a/.classpath b/.classpath index b2cddcbc4f..dbbacc419b 100644 --- a/.classpath +++ b/.classpath @@ -1,8 +1,6 @@ <?xml version="1.0" encoding="UTF-8"?> <classpath> <classpathentry kind="src" path="src/compiler"/> - <classpathentry kind="src" path="test/files"/> - <classpathentry kind="src" path="src/library"/> <classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER"/> <classpathentry exported="true" kind="lib" path="lib/msil.jar"/> <classpathentry kind="lib" path="lib/jline.jar"/> @@ -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> |