Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. proper jvm_platform, notably for org.sqlite.lib.path;
  2. tuned message;
  3. support for platform family "linux_arm";
  4. clarified purge;
  5. removed junk;
  6. support local build_heaps; more robust build_release;
Changeset 73639:e1432539df35 by wenzelm:
proper jvm_platform, notably for org.sqlite.lib.path;
The file was modified src/Pure/System/platform.scala (diff)
Changeset 73638:a6a9162f3ec1 by wenzelm:
tuned message;
The file was modified src/Pure/System/platform.scala (diff)
Changeset 73637:f3a356c64193 by wenzelm:
support for platform family "linux_arm";
The file was addedAdmin/components/bundled-linux_arm
The file was modified src/Pure/Admin/build_release.scala (diff)
The file was modified src/Pure/Admin/components.scala (diff)
The file was modified src/Pure/System/platform.scala (diff)
Changeset 73636:6945ac084763 by wenzelm:
clarified purge;
The file was modified src/Pure/Admin/components.scala (diff)
Changeset 73635:3531d20cf2fd by wenzelm:
removed junk;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
Changeset 73634:c88faa1e09e1 by wenzelm:
support local build_heaps;<br>more robust build_release;
The file was modified src/Pure/Admin/build_release.scala (diff)
The file was modified src/Pure/General/ssh.scala (diff)