proper return code;
authorwenzelm
Wed Apr 06 14:08:57 2016 +0200 (2016-04-06)
changeset 6288864f44d7279e5
parent 62887 6b2c60ebd915
child 62889 99c7f31615c2
proper return code;
src/Pure/Tools/ml_process.scala
     1.1 --- a/src/Pure/Tools/ml_process.scala	Wed Apr 06 14:02:12 2016 +0200
     1.2 +++ b/src/Pure/Tools/ml_process.scala	Wed Apr 06 14:08:57 2016 +0200
     1.3 @@ -140,7 +140,8 @@
     1.4      val more_args = getopts(args)
     1.5      if (args.isEmpty || !more_args.isEmpty) getopts.usage()
     1.6  
     1.7 -    ML_Process(options, logic = logic, args = eval_args, dirs = dirs, modes = modes).
     1.8 +    val rc = ML_Process(options, logic = logic, args = eval_args, dirs = dirs, modes = modes).
     1.9        result().print_stdout.rc
    1.10 +    sys.exit(rc)
    1.11    })
    1.12  }