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