From 99949557818d7325f77323403a67ed49ae6f14c1 Mon Sep 17 00:00:00 2001
From: Heiko Becker <hbecker@itemis.com>
Date: Wed, 6 Dec 2023 08:03:48 +0100
Subject: [PATCH] downloadJbr should copy if jbr uses dash

previously only jbr versions with an underscore were supported.
---
 src/main/kotlin/de/itemis/mps/gradle/downloadJBR/Plugin.kt | 2 +-
 1 file changed, 1 insertion(+), 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
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<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