diff options
author | Denis Efremov <efremov@linux.com> | 2018-08-10 23:25:55 +0300 |
---|---|---|
committer | Masahiro Yamada <yamada.masahiro@socionext.com> | 2018-08-14 02:58:56 +0300 |
commit | 512ddf7d7db056edfed3159ea7cb4e4a5eefddd4 (patch) | |
tree | d4ab5068f95916e5493aaaaf546219a9001fe64a /Makefile | |
parent | 09d4d9648bd01a4c124fcc30dd0c31503975e8c2 (diff) | |
download | linux-512ddf7d7db056edfed3159ea7cb4e4a5eefddd4.tar.xz |
coccicheck: return proper error code on fail
If coccicheck fails, it should return an error code distinct from zero
to signal about an internal problem. Current code instead of exiting with
the tool's error code returns the error code of 'echo "coccicheck failed"'
which is almost always equals to zero, thus failing the original intention
of alerting about a problem. This patch fixes the code.
Found by Linux Driver Verification project (linuxtesting.org).
Signed-off-by: Denis Efremov <efremov@linux.com>
Acked-by: Julia Lawall <julia.lawall@lip6.fr>
Signed-off-by: Masahiro Yamada <yamada.masahiro@socionext.com>
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions