src/Pure/Admin/ci_profile.scala

--- a/src/Pure/Admin/ci_profile.scala	Sun Sep 12 22:31:51 2021 +0200
+++ b/src/Pure/Admin/ci_profile.scala	Mon Sep 13 11:52:32 2021 +0200
@@ -17,8 +17,8 @@
   case class Result(rc: Int)
   case object Result
   {
-    def ok: Result = Result(0)
-    def error: Result = Result(1)
+    def ok: Result = Result(Process_Result.RC.ok)
+    def error: Result = Result(Process_Result.RC.error)
   }
 
   private def build(options: Options): (Build.Results, Time) =