Skip to content
Failed

Changes

Summary

  1. test
  2. rebuild rsync-3.2.7 on current platforms, including native arm64-darwin; provide official etc/platforms.props, to retain platform directories after Components.Directory.clean() -- e.g. for SSH upload;
  3. tuned signature;
  4. tuned;
  5. tuned signature;
Changeset 80777:aad88bcfdf35 by wenzelm:
test
The file was removedAdmin/components/ci-extras
Changeset 80776:9cdc4f533b91 by wenzelm:
rebuild rsync-3.2.7 on current platforms, including native arm64-darwin;<br>provide official etc/platforms.props, to retain platform directories after Components.Directory.clean() -- e.g. for SSH upload;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
The file was modified src/Pure/Admin/component_rsync.scala (diff)
Changeset 80775:7d8a24c5559d by wenzelm:
tuned signature;
The file was modified src/Pure/Admin/component_bash_process.scala (diff)
The file was modified src/Pure/System/components.scala (diff)
Changeset 80774:b525f783b784 by wenzelm:
tuned;
The file was modified src/Pure/Admin/component_bash_process.scala (diff)
The file was modified src/Pure/Admin/component_csdp.scala (diff)
The file was modified src/Pure/Admin/component_e.scala (diff)
The file was modified src/Pure/Admin/component_minisat.scala (diff)
The file was modified src/Pure/Admin/component_rsync.scala (diff)
The file was modified src/Pure/Admin/component_spass.scala (diff)
The file was modified src/Pure/Admin/component_vampire.scala (diff)
The file was modified src/Pure/Admin/component_verit.scala (diff)
The file was modified src/Pure/Admin/component_zipperposition.scala (diff)
Changeset 80773:a213dd3c0b29 by wenzelm:
tuned signature;
The file was modified src/Pure/Admin/component_bash_process.scala (diff)
The file was modified src/Pure/System/components.scala (diff)