1.1 --- a/Admin/mira.py	Sun Mar 27 16:56:16 2011 +0200
     1.2 +++ b/Admin/mira.py	Sun Mar 27 17:32:25 2011 +0200
     1.3 @@ -347,4 +347,4 @@
     1.4  @configuration(repos = [Isabelle], deps = [])
     1.5  def SML_makeall(*args):
     1.6      """Makeall built with SML/NJ"""
     1.7 -    return isabelle_makeall(*args, more_settings=smlnj_settings, make_options=('-j', '3'))
     1.8 +    return isabelle_makeall(*args, more_settings=smlnj_settings, target='smlnj', make_options=('-j', '3'))