Browse Source

Fix cleanEclipseJdtUi task in the Gradle build

pull/719/head
Sam Brannen 11 years ago
parent
commit
e9e5149001
  1. 2
      gradle/ide.gradle

2
gradle/ide.gradle

@ -85,8 +85,8 @@ task eclipseJdtPrepare(type: Copy) { @@ -85,8 +85,8 @@ task eclipseJdtPrepare(type: Copy) {
}
task cleanEclipseJdtUi(type: Delete) {
delete project.file(".settings/org.eclipse.jdt.core.prefs")
delete project.file(".settings/org.eclipse.jdt.ui.prefs")
delete project.file("org.eclipse.jdt.core.prefs")
delete project.file(".settings/org.eclipse.wst.common.component")
delete project.file(".settings/org.eclipse.wst.common.project.facet.core.xml")
}

Loading…
Cancel
Save