diff -r 0b1462ce5fda -r 62e4ec8cff38 src/Pure/System/command_line.scala
--- a/src/Pure/System/command_line.scala	Mon Jul 26 13:04:55 2021 +0200
+++ b/src/Pure/System/command_line.scala	Mon Jul 26 13:12:22 2021 +0200
@@ -30,7 +30,7 @@
           catch {
             case exn: Throwable =>
               Output.error_message(Exn.print(exn))
-              Exn.return_code(exn, 2)
+              Exn.failure_rc(exn)
           }
         sys.exit(rc)
       }