Merge branch 'main' into belt-printer

This commit is contained in:
Joseph Robertson
2026-10-08 16:15:51 -05:00
committed by GitHub
11 changed files with 291 additions and 12 deletions
@@ -303,10 +303,11 @@ else
fi
has_host_runtime_library() {
local lib_name path
local lib_name="\$1"
local path
if command -v ldconfig >/dev/null 2>&1; then
if ldconfig -p 2>/dev/null | grep -Fq " \$lib_name"; then
if ldconfig -p 2>/dev/null | grep -Fq "\$lib_name ("; then
return 0
fi
fi