diff options
| -rwxr-xr-x | tools/check_curl_symbols.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tools/check_curl_symbols.py b/tools/check_curl_symbols.py index deeb6de2a..32749bf65 100755 --- a/tools/check_curl_symbols.py +++ b/tools/check_curl_symbols.py @@ -269,6 +269,8 @@ def main() -> int: sys.exit("FATAL: failed to read Curl symbols on standard input") weechat_curl_symbols, errors = get_weechat_curl_symbols() errors += check_symbols(weechat_curl_symbols, curl_symbols) + dict_err = {0: "all good!", 1: "1 error"} + print("Curl symbols:", dict_err.get(errors, f"{errors} errors")) return errors |