laforge has submitted this change. (
https://gerrit.osmocom.org/c/osmo-ci/+/28492 )
Change subject: coverity/local_test.sh: new file
......................................................................
coverity/local_test.sh: new file
Add the script I've used to locally reproduce the build failure and fix
it.
Change-Id: I12241499a0669559bc40eb3e76f967a7c6a2dc70
---
M coverity/jenkins.sh
A coverity/local_test.sh
2 files changed, 15 insertions(+), 0 deletions(-)
Approvals:
Jenkins Builder: Verified
pespin: Looks good to me, but someone else must approve
laforge: Looks good to me, approved
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
--
To view, visit
https://gerrit.osmocom.org/c/osmo-ci/+/28492
To unsubscribe, or for help writing mail filters, visit
https://gerrit.osmocom.org/settings
Gerrit-Project: osmo-ci
Gerrit-Branch: master
Gerrit-Change-Id: I12241499a0669559bc40eb3e76f967a7c6a2dc70
Gerrit-Change-Number: 28492
Gerrit-PatchSet: 2
Gerrit-Owner: osmith <osmith(a)sysmocom.de>
Gerrit-Reviewer: Jenkins Builder
Gerrit-Reviewer: fixeria <vyanitskiy(a)sysmocom.de>
Gerrit-Reviewer: laforge <laforge(a)osmocom.org>
Gerrit-Reviewer: pespin <pespin(a)sysmocom.de>
Gerrit-MessageType: merged