From 144ccfe0c6ff910101e724fa4b583cf923a5df3c Mon Sep 17 00:00:00 2001
From: Heiko Becker <HeikoBecker@users.noreply.github.com>
Date: Wed, 6 Dec 2023 09:05:04 +0100
Subject: [PATCH] Update
 src/main/kotlin/de/itemis/mps/gradle/downloadJBR/Plugin.kt
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Co-authored-by: Sergej Koščejev <sergej@koscejev.cz>
---
 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 920d44e0..b747c49e 100644
--- a/src/main/kotlin/de/itemis/mps/gradle/downloadJBR/Plugin.kt
+++ b/src/main/kotlin/de/itemis/mps/gradle/downloadJBR/Plugin.kt
@@ -48,7 +48,7 @@ open class DownloadJbrProjectPlugin : Plugin<Project> {
 
                         if (downloadDir.listFiles { _, name -> name.startsWith("jbr_") || name.startsWith("jbr-") }!!.any()) {
                             exec {
-                                commandLine("sh", "-c", "mv jbr_* jbr")
+                                commandLine("sh", "-c", "mv jbr* jbr")
                                 workingDir = downloadDir
                             }
                         }