Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. updated to sqlite-jdbc-3.18.0;
  2. keep main build.log to help diagnosing spurious lack of log_path.xz;
Changeset 65882:5fec47b87bc6 by wenzelm:
updated to sqlite-jdbc-3.18.0;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
Changeset 65881:b3d6fb291f58 by wenzelm:
keep main build.log to help diagnosing spurious lack of log_path.xz;
The file was modified src/Pure/Admin/build_history.scala (diff)