diff options
Diffstat (limited to 'coverity/local_test.sh')
-rwxr-xr-x | coverity/local_test.sh | 17 |
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 |