diff options
Diffstat (limited to 'tools')
-rw-r--r-- | tools/smatch-data/no_return_funcs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/smatch-data/no_return_funcs b/tools/smatch-data/no_return_funcs index 19052b5d6..a7ea042cc 100644 --- a/tools/smatch-data/no_return_funcs +++ b/tools/smatch-data/no_return_funcs @@ -9,3 +9,4 @@ terminate_intr usage err errx +log_err |