diff options
author | Romain Forlot <romain.forlot@iot.bzh> | 2017-09-20 16:50:53 +0200 |
---|---|---|
committer | Romain Forlot <romain.forlot@iot.bzh> | 2017-09-20 16:50:53 +0200 |
commit | 3465ddbdec8d77e2a59315e50f954ea2d35aa1cb (patch) | |
tree | 4c0ed65fb6c2b9dfb3d3285bbbf4ed3ee9b18728 /.gitreview | |
parent | 9116b93f53127e48f3821497440500b6b78989c6 (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 '.gitreview')
0 files changed, 0 insertions, 0 deletions