diff --git a/eclipse/src/plugin-resources/templates/launch.jelly b/eclipse/src/plugin-resources/templates/launch.jelly index 9dea133e..83004d51 100644 --- a/eclipse/src/plugin-resources/templates/launch.jelly +++ b/eclipse/src/plugin-resources/templates/launch.jelly @@ -1,7 +1,7 @@ + key="org.eclipse.ui.externaltools.ATTR_TOOL_ARGUMENTS" value="-e -p $${resource_name} ${goal}"/>