Skip to content
Jenkins
log in
Dashboard
nipkow
My Views
isabelle-repo
#718
Changes
Status
Changes
Console Output
View Build Information
Polling Log
Timings
Environment Variables
Mercurial Build Data
Embeddable Build Status
Previous Build
Next Build
Success
Changes
Summary
merged
updated to jdk-8u121;
clarified owner;
insist in proper GNU tar, to avoid subtle semantic differences;
hardlink within JVM; clarified file attributes;
tuned;
clarified operation: include dirs as well;
tuned;
tuned;
build_jdk in Scala;
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 added
src/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 removed
Admin/java/build
The file was removed
Admin/java/settings