Disable mill color mode in proyek export. [distro]

sireum · Nov 1, 2024 · f16ad37 · f16ad37
1 parent 8776132
commit f16ad37
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/cli/jvm/src/main/scala/org/sireum/cli/Proyek.scala b/cli/jvm/src/main/scala/org/sireum/cli/Proyek.scala
@@ -566,9 +566,9 @@ object Proyek {
     def bloopGen(): Unit = {
       println("Generating Bloop configuration ...")
       val pr: OsProto.Proc = if (Os.isWin) {
-        proc"cmd /C ${SireumApi.homeOpt.get / "bin" / "mill.bat"} --ticker false --import ivy:com.lihaoyi::mill-contrib-bloop: mill.contrib.bloop.Bloop/install"
+        proc"cmd /C ${SireumApi.homeOpt.get / "bin" / "mill.bat"} --ticker false --color false --import ivy:com.lihaoyi::mill-contrib-bloop: mill.contrib.bloop.Bloop/install"
       } else {
-        Os.proc(ISZ("bash", "-c", s"\"${SireumApi.homeOpt.get / "bin" / "mill"}\" --ticker false --import ivy:com.lihaoyi::mill-contrib-bloop: mill.contrib.bloop.Bloop/install"))
+        Os.proc(ISZ("bash", "-c", s"\"${SireumApi.homeOpt.get / "bin" / "mill"}\" --ticker false --color false --import ivy:com.lihaoyi::mill-contrib-bloop: mill.contrib.bloop.Bloop/install"))
       }
       (root / ".bloop").removeAll()
       pr.console.at(root).env(ISZ(