aboutsummaryrefslogtreecommitdiffstats
path: root/coverity/local_test.sh
diff options
context:
space:
mode:
Diffstat (limited to 'coverity/local_test.sh')
-rwxr-xr-xcoverity/local_test.sh17
1 files changed, 17 insertions, 0 deletions
diff --git a/coverity/local_test.sh b/coverity/local_test.sh
new file mode 100755
index 0000000..f2b89c3
--- /dev/null
+++ b/coverity/local_test.sh
@@ -0,0 +1,17 @@
+#!/bin/sh -ex
+# Use this script for local testing of the prepare source and build scripts
+SCRIPT_DIR="$(dirname "$(realpath "$0")")"
+
+export SRC_SKIP_FETCH=1
+export SRC_CLEAN=1
+export PARALLEL_MAKE="-j$(echo $(nproc) + 1 | bc)"
+
+mkdir -p /tmp/coverity
+rm -f /tmp/coverity/common.sh
+cp "$SCRIPT_DIR"/* /tmp/coverity
+ln -sf "$SCRIPT_DIR/../scripts/common.sh" /tmp/coverity/common.sh
+
+cd /tmp/coverity
+
+./prepare_source_Osmocom.sh
+./build_Osmocom.sh