diff options
| author |   Romain Forlot <romain.forlot@iot.bzh> | 2017-09-20 16:50:53 +0200 |
|---|---|---|
| committer | Romain Forlot <romain.forlot@iot.bzh> | 2018-10-15 18:22:47 +0200 |
| commit | deb9e2c1aa6a5f134cdc202c88445130fb8d058b (patch) | |
| tree | a88c562a3057359e084d1023384597dad2afd879 /docs | |
| parent | 6e04d847969f2ae96414411581c9946dd4a098f5 (diff) | |
Fix: No build error on input files checked
Output a warning if no checker found but at usage must
crash the build if input files has errors.
Change-Id: I282c4eb2303922ce1cd7055b51182ed222b62d08
Signed-off-by: Romain Forlot <romain.forlot@iot.bzh>
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions