Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. more robust build: prevent problems seen with Poly/ML eb94e2820013 on Mac OS X;
  2. clarified notion of unknown files: ignore files outside of a Mercurial repository;
  3. more balanced AFP partitioning;
Changeset 67783:839de121665c by wenzelm:
more robust build: prevent problems seen with Poly/ML eb94e2820013 on Mac OS X;
The file was modified src/Pure/Admin/build_polyml.scala (diff)
Changeset 67782:7e223a05e6d8 by wenzelm:
clarified notion of unknown files: ignore files outside of a Mercurial repository;
The file was modified src/Pure/General/mercurial.scala (diff)
The file was modified src/Pure/Tools/build.scala (diff)
Changeset 67781:a8a3f73623e7 by wenzelm:
more balanced AFP partitioning;
The file was modified src/Pure/Admin/afp.scala (diff)