nix/api-doc.nix · ab158cc958e020756edf015ac73acdf6d2ac1ba5 · pub / frama-c

2 years ago

[nix] ask dune to output errors also at the end of the log · 146b5e76

Virgile Prevosto authored 2 years ago and

Allan Blanchard committed 2 years ago

on longer log (i.e. frama-c or plug-in compilation), it can be quite
tedious to check the log in the CI to spot the error. The new option
will instruct dune to put the error message (and its associated
command line) at the end of the log as well.

146b5e76

History

[nix] ask dune to output errors also at the end of the log

Virgile Prevosto authored 2 years ago and

Allan Blanchard committed 2 years ago

on longer log (i.e. frama-c or plug-in compilation), it can be quite
tedious to check the log in the CI to spot the error. The new option
will instruct dune to put the error message (and its associated
command line) at the end of the log as well.