1
0
mirror of https://github.com/weechat/weechat.git synced 2026-06-12 14:14:48 +02:00
Files
weechat/tools
Emil Velikov ba746dcb1b tools/check_curl_symbols.py: fix CURLOPT handling
The curl option handling seems to be non-functional since it suffers
from two distinct issues. The regular expression tries to match options
that we're not interested in and the symbol name is lacking the proper
prefix.

Adjust to match only on what we need and construct the name
appropriately... Fix the issues flagged by the updated script.

Signed-off-by: Emil Velikov <emil.l.velikov@gmail.com>
2024-10-13 13:33:47 +02:00
..
2024-01-01 22:29:58 +01:00
2024-01-01 22:29:58 +01:00
2024-01-01 22:29:58 +01:00