diff --git a/src/main/kotlin/de/itemis/mps/gradle/downloadJBR/Plugin.kt b/src/main/kotlin/de/itemis/mps/gradle/downloadJBR/Plugin.kt index 3302f64c..920d44e0 100644 --- a/src/main/kotlin/de/itemis/mps/gradle/downloadJBR/Plugin.kt +++ b/src/main/kotlin/de/itemis/mps/gradle/downloadJBR/Plugin.kt @@ -46,7 +46,7 @@ open class DownloadJbrProjectPlugin : Plugin { workingDir = downloadDir } - if (downloadDir.listFiles { _, name -> name.startsWith("jbr_") }!!.any()) { + if (downloadDir.listFiles { _, name -> name.startsWith("jbr_") || name.startsWith("jbr-") }!!.any()) { exec { commandLine("sh", "-c", "mv jbr_* jbr") workingDir = downloadDir