summaryrefslogtreecommitdiff
path: root/tools
diff options
context:
space:
mode:
Diffstat (limited to 'tools')
-rwxr-xr-xtools/ci/scripts/checkldd.sh16
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