| changeset 42138 | e54a985daa61 |
| parent 42121 | bb8986475416 |
| child 42140 | 3a60518900e4 |
--- 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'))