diff options
author | Oliver Smith <osmith@sysmocom.de> | 2022-06-30 12:00:03 +0200 |
---|---|---|
committer | Oliver Smith <osmith@sysmocom.de> | 2022-06-30 15:31:37 +0200 |
commit | ee5920f95d9be8bf2e58ace2bcd9a006fff604d0 (patch) | |
tree | b2b0d4b7b618c43acf1a8ed891e92ab15f3cf7d9 /coverity | |
parent | 26a02acdf07bb1751aa2cffbb9ffa1fe785f5638 (diff) |
coverity/local_test.sh: new file
Add the script I've used to locally reproduce the build failure and fix
it.
Change-Id: I12241499a0669559bc40eb3e76f967a7c6a2dc70
Diffstat (limited to 'coverity')
-rwxr-xr-x | coverity/jenkins.sh | 1 | ||||
-rwxr-xr-x | coverity/local_test.sh | 14 |
2 files changed, 15 insertions, 0 deletions
diff --git a/coverity/jenkins.sh b/coverity/jenkins.sh index 0ae7fd7..b02b82e 100755 --- a/coverity/jenkins.sh +++ b/coverity/jenkins.sh @@ -1,4 +1,5 @@ #!/usr/bin/env bash +# Use 'local_test.sh' during development set -e -x diff --git a/coverity/local_test.sh b/coverity/local_test.sh new file mode 100755 index 0000000..4ac1307 --- /dev/null +++ b/coverity/local_test.sh @@ -0,0 +1,14 @@ +#!/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 + +mkdir -p /tmp/coverity +cp "$SCRIPT_DIR"/* /tmp/coverity + +cd /tmp/coverity + +./prepare_source_Osmocom.sh +./build_Osmocom.sh |