1 files changed, 16 insertions, 0 deletions
diff --git a/tools/ci/scripts/checkldd.sh b/tools/ci/scripts/checkldd.sh
new file mode 100755
index 000000000..e728fd85d
--- /dev/null
+++ b/tools/ci/scripts/checkldd.sh
@@ -0,0 +1,16 @@
+#!/bin/bash
+
+echo "Custom libs linked"
+grep "spm" "$(ldd $1)"
+
+search="$2"
+if [[ "${search}" == "" ]]; then
+    search="${LIBNAME}_${LIBVERSION}"
+fi
+res=$(ldd $1|grep "spm"|grep "$search")
+
+if [[ "${res}" == "" ]]; then
+    echo "Cant find requested lib: $search"
+    exit 1
+fi
+exit 0