Update src/main/kotlin/de/itemis/mps/gradle/downloadJBR/Plugin.kt

Co-authored-by: Sergej Koščejev <[email protected]>
mbeddr · Dec 6, 2023 · 144ccfe · 144ccfe
1 parent 0ed20dc
commit 144ccfe
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
@@ -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
                             }
                         }