Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. merged
  2. updated to jdk-8u121;
  3. clarified owner;
  4. insist in proper GNU tar, to avoid subtle semantic differences;
  5. hardlink within JVM; clarified file attributes;
  6. tuned;
  7. clarified operation: include dirs as well;
  8. tuned;
  9. tuned;
  10. build_jdk in Scala;
  11. corrected static scope: multi-argument composition does not apply partially
Changeset 64938:1b584fab241a by wenzelm:
merged
Changeset 64937:9c94853f03b3 by wenzelm:
updated to jdk-8u121;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
Changeset 64936:a11f3ebb7bd8 by wenzelm:
clarified owner;
The file was modified src/Pure/Admin/build_jdk.scala (diff)
The file was modified src/Pure/Admin/build_release.scala (diff)
Changeset 64935:9437a117408b by wenzelm:
insist in proper GNU tar, to avoid subtle semantic differences;
The file was modified src/Pure/Admin/build_jdk.scala (diff)
The file was modified src/Pure/Admin/build_release.scala (diff)
The file was modified src/Pure/System/isabelle_system.scala (diff)
Changeset 64934:795055a0be98 by wenzelm:
hardlink within JVM;<br>clarified file attributes;
The file was modified src/Pure/Admin/build_jdk.scala (diff)
The file was modified src/Pure/General/file.scala (diff)
Changeset 64933:4c96995e20cb by wenzelm:
tuned;
The file was modified src/Pure/Admin/build_jdk.scala (diff)
Changeset 64932:89c0896a19ad by wenzelm:
clarified operation: include dirs as well;
The file was modified src/Pure/General/file.scala (diff)
Changeset 64931:111d58654822 by wenzelm:
tuned;
The file was modified src/Pure/Admin/build_jdk.scala (diff)
Changeset 64930:8d30727cd56f by wenzelm:
tuned;
The file was modified src/Pure/Admin/build_jdk.scala (diff)
Changeset 64929:3b4e5fad4dc2 by wenzelm:
build_jdk in Scala;
The file was addedsrc/Pure/Admin/build_jdk.scala
The file was modified src/Pure/System/isabelle_tool.scala (diff)
The file was modified src/Pure/build-jars (diff)
The file was removedAdmin/java/build
The file was removedAdmin/java/settings
Changeset 64928:18a6b96f8b00 by haftmann:
corrected static scope: multi-argument composition does not apply partially
The file was modified src/Tools/Code/code_runtime.ML (diff)