chore(linux): Merge branch 'chore/linux/9733_RenameLibknmkbp' into chore/linux/9733_RenameNamespace

This commit is contained in:
Eberhard Beilharz 2023-10-20 17:23:13 +02:00
commit 8fce84bdc8
No known key found for this signature in database
GPG key ID: E9140597606020D3

View file

@ -60,7 +60,7 @@ if builder_start_action verify; then
if [ ! -f debian/libkmnkbp0-0.symbols ] && [ ! -f debian/libkeymancore.symbols ]; then
echo ":warning: Missing libkmnkbp0-0.symbols/libkeymancore.symbols file" >&2
else
if [ -f debian/libeymancore.symbols ]; then
if [ -f debian/libkeymancore.symbols ]; then
PKG_NAME=libkeymancore
LIB_NAME=libkeymancore
else