Updated Init.installMill.

sireum · Oct 24, 2024 · c3248ea · c3248ea
1 parent 00329fd
commit c3248ea
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/library/jvm/src/main/scala/org/sireum/Init.scala b/library/jvm/src/main/scala/org/sireum/Init.scala
@@ -585,7 +585,7 @@ import Init._
       while (i < size) {
         if (!stop) {
           if (isAt("%*", i) || isAt("\"$@\"", i)) {
-            j = putString("-i ", j)
+            j = putString("--no-server ", j)
           } else if (isAt(javaPrefix, i)) {
             val platform: String = Os.kind match {
               case Os.Kind.Win => "win"
@@ -782,7 +782,7 @@ import Init._
       if (lines.size != newLines.size) {
         println("Patching Scalameta Metals ...")
         val tab = "\t"
-        newLines = newLines :+ s""""workspaceContains:build.sc""""
+        newLines = newLines :+ s""""workspaceContains:build.mill""""
         newLines = newLines :+ s""""workspaceContains:.bloop""""
         packageJson.writeOver(
           st"""${ops.StringOps.substring(cis, 0, min + 1)}