diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2019-10-23 14:33:36 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2019-10-23 14:53:50 +0200 |
| commit | 15fc2d76919171a5f3ef1f32654e9509f3b246db (patch) | |
| tree | da8864b28267e0326c90d2bc4d37b5c7e35e019b /doc | |
| parent | c96863bc7cc019661dc3235bbb3fbdb870b3d474 (diff) | |
| download | cuirass-15fc2d76919171a5f3ef1f32654e9509f3b246db.tar cuirass-15fc2d76919171a5f3ef1f32654e9509f3b246db.tar.gz | |
base: Log the evaluation ID upon evaluation failure.
* src/cuirass/base.scm (&evaluation-error)[id]: New field.
(evaluate): Specify the 'id' field.
(process-specs): Show the log file name upon evaluation failure.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions