From ced7abfca03cf20b1e1d231861217bcb878595af Mon Sep 17 00:00:00 2001 From: Eugene Zhuravlev Date: Mon, 10 Nov 2014 14:17:39 +0100 Subject: [PATCH] use deleteWithRename() instead of delete(), because on some systems creating the directory right after its deletion is not possible --- .../src/org/jetbrains/jps/incremental/groovy/GroovyBuilder.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/plugins/groovy/jps-plugin/src/org/jetbrains/jps/incremental/groovy/GroovyBuilder.java b/plugins/groovy/jps-plugin/src/org/jetbrains/jps/incremental/groovy/GroovyBuilder.java index 4540c3afd0b1..98542511bd57 100644 --- a/plugins/groovy/jps-plugin/src/org/jetbrains/jps/incremental/groovy/GroovyBuilder.java +++ b/plugins/groovy/jps-plugin/src/org/jetbrains/jps/incremental/groovy/GroovyBuilder.java @@ -336,7 +336,7 @@ public class GroovyBuilder extends ModuleLevelBuilder { File commonRoot = new File(context.getProjectDescriptor().dataManager.getDataPaths().getDataStorageRoot(), "groovyStubs"); for (ModuleBuildTarget target : chunk.getTargets()) { File targetRoot = new File(commonRoot, target.getModule().getName() + File.separator + target.getTargetType().getTypeId()); - if (!FileUtil.delete(targetRoot)) { + if (!FileUtil.deleteWithRenaming(targetRoot)) { throw new IOException("External make cannot clean " + targetRoot.getPath()); } if (!targetRoot.mkdirs()) {