diff options
author | Gibheer <gibheer+git@zero-knowledge.org> | 2018-12-11 13:02:23 +0100 |
---|---|---|
committer | Gibheer <gibheer+git@zero-knowledge.org> | 2018-12-11 13:02:23 +0100 |
commit | 24456400eb2adcf99bd5aba0b9ca1427b56472fe (patch) | |
tree | fbc3d2dff0b1b57d7c4af67b0423905259b3f4c1 /Makefile | |
parent | dece1ac2dc4554f66f8ec194269cd91d330edae1 (diff) |
moncheck - add mapping levels
This adds mapping levels to the check runner. When the exit code is
returned, the actual level is looked up using the configured mapping.
After that, the state is entered into the table and added the same way
to the notifications.
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions