The source project of this merge request has been removed.
functions: add_checked_modules_from_symbol: do not fail if there are no autodetected modules to add
Only fail if no modules with the symbol can be found.
Fixes #218 (closed)
Fixes: 1760deea ("add_checked_modules_from_symbol: avoid double-lookup")