prefer Scala operations;

--- a/src/Pure/Admin/ci_profile.scala	Tue Jun 28 15:17:47 2022 +0200
+++ b/src/Pure/Admin/ci_profile.scala	Tue Jun 28 15:23:05 2022 +0200
@@ -181,6 +181,6 @@
 
     val post_result = config.post_hook(results)
 
-    System.exit(List(pre_result.rc, results.rc, post_result.rc).max)
+    sys.exit(List(pre_result.rc, results.rc, post_result.rc).max)
   }
 }
\ No newline at end of file