changeset 64909 | 8007f10195af |
parent 64505 | 545a7ab3c35f |
child 65880 | 54c6ec4166a4 |
--- a/src/Pure/Admin/build_polyml.scala Mon Jan 16 21:33:09 2017 +0100 +++ b/src/Pure/Admin/build_polyml.scala Mon Jan 16 21:53:44 2017 +0100 @@ -63,7 +63,7 @@ def build_polyml( root: Path, sha1_root: Option[Path] = None, - progress: Progress = Ignore_Progress, + progress: Progress = No_Progress, arch_64: Boolean = false, options: List[String] = Nil, msys_root: Option[Path] = None,