Skip to content
Failed

Changes

Summary

  1. tuned;
  2. tuned signature;
  3. proper return code for timeout (amending f868f12f9419);
  4. retain tail out_lines as printed, but not the whole log content;
  5. explicit class Build_Results; cancelled sessions have rc = 1 (again);
  6. more informative Build.build_results; tuned signature;
  7. more informative Process_Result; tuned;
  8. clarified modules;
  9. tuned signature;
Changeset 62407:8383b126b0a9 by wenzelm:
tuned;
The file was modified NEWS (diff)
Changeset 62406:b5b8fb87447a by wenzelm:
tuned signature;
The file was modified src/Pure/Tools/build.scala (diff)
Changeset 62405:d653532762e4 by wenzelm:
proper return code for timeout (amending f868f12f9419);
The file was modified src/Pure/System/process_result.scala (diff)
The file was modified src/Pure/Tools/build.scala (diff)
Changeset 62404:13a0f537e232 by wenzelm:
retain tail out_lines as printed, but not the whole log content;
The file was modified src/Pure/System/process_result.scala (diff)
The file was modified src/Pure/Tools/build.scala (diff)
Changeset 62403:1d7aba20a332 by wenzelm:
explicit class Build_Results;<br>cancelled sessions have rc = 1 (again);
The file was modified src/Pure/Tools/build.scala (diff)
Changeset 62402:bff56eae3ec5 by wenzelm:
more informative Build.build_results;<br>tuned signature;
The file was modified src/Pure/System/isabelle_system.scala (diff)
The file was modified src/Pure/System/process_result.scala (diff)
The file was modified src/Pure/Tools/build.scala (diff)
Changeset 62401:15a2533f1f0a by wenzelm:
more informative Process_Result;<br>tuned;
The file was modified src/Pure/System/isabelle_system.scala (diff)
The file was modified src/Pure/System/process_result.scala (diff)
The file was modified src/Pure/Tools/build.scala (diff)
Changeset 62400:833af0d6d469 by wenzelm:
clarified modules;
The file was addedsrc/Pure/System/process_result.scala
The file was modified src/Pure/Concurrent/bash.scala (diff)
The file was modified src/Pure/System/isabelle_system.scala (diff)
The file was modified src/Pure/Tools/build.scala (diff)
The file was modified src/Pure/build-jars (diff)
Changeset 62399:36e885190439 by wenzelm:
tuned signature;
The file was modified src/Pure/Concurrent/bash.scala (diff)
The file was modified src/Pure/Tools/build.scala (diff)