From e9e5149001d813806a04d9e1a349bbc899fceba9 Mon Sep 17 00:00:00 2001 From: Sam Brannen Date: Thu, 8 Jan 2015 18:32:12 +0100 Subject: [PATCH] Fix cleanEclipseJdtUi task in the Gradle build --- gradle/ide.gradle | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/gradle/ide.gradle b/gradle/ide.gradle index 89082cc8da7..e7844180b1e 100644 --- a/gradle/ide.gradle +++ b/gradle/ide.gradle @@ -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") }