downloadJbr should copy if jbr uses dash

previously only jbr versions with an underscore were supported.
mbeddr · Dec 6, 2023 · 9994955 · 9994955
1 parent c3cb3cf
commit 9994955
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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<Project> {
                             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