osmith has uploaded this change for review. (
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, 12 insertions(+), 0 deletions(-)
git pull ssh://gerrit.osmocom.org:29418/osmo-ci refs/changes/92/28492/1
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..10b4583
--- /dev/null
+++ b/coverity/local_test.sh
@@ -0,0 +1,11 @@
+#!/bin/sh -ex
+# Use this script for local testing of the prepare source and build scripts
+SCRIPT_DIR="$(dirname "$(realpath "$0")")"
+
+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: 1
Gerrit-Owner: osmith <osmith(a)sysmocom.de>
Gerrit-MessageType: newchange