diff options
l--------- | coverity/common.sh | 1 | ||||
-rwxr-xr-x | coverity/local_test.sh | 1 | ||||
-rwxr-xr-x | coverity/prepare_source_Osmocom.sh | 3 |
3 files changed, 4 insertions, 1 deletions
diff --git a/coverity/common.sh b/coverity/common.sh new file mode 120000 index 0000000..8f435c6 --- /dev/null +++ b/coverity/common.sh @@ -0,0 +1 @@ +../scripts/common.sh
\ No newline at end of file diff --git a/coverity/local_test.sh b/coverity/local_test.sh index 4ac1307..dffb101 100755 --- a/coverity/local_test.sh +++ b/coverity/local_test.sh @@ -7,6 +7,7 @@ export SRC_CLEAN=1 mkdir -p /tmp/coverity cp "$SCRIPT_DIR"/* /tmp/coverity +ln -sf "$SCRIPT_DIR/../scripts/common.sh" /tmp/coverity/common.sh cd /tmp/coverity diff --git a/coverity/prepare_source_Osmocom.sh b/coverity/prepare_source_Osmocom.sh index 258dbb0..ad03835 100755 --- a/coverity/prepare_source_Osmocom.sh +++ b/coverity/prepare_source_Osmocom.sh @@ -1,4 +1,5 @@ #!/bin/sh +. $(realpath common.sh) BASEDIR=source-Osmocom # How to add a new project: @@ -57,7 +58,7 @@ for proj in $PROJECTS $PROJECTS_DONT_BUILD_TEST; do git -C "$proj" clean -ffxd fi else - git clone https://git.osmocom.org/$proj + git clone "$(osmo_git_clone_url "$proj")" fi done |