diff options
| author | Oliver Smith <osmith@sysmocom.de> | 2023-02-01 09:17:32 +0100 |
|---|---|---|
| committer | Oliver Smith <osmith@sysmocom.de> | 2023-02-01 10:58:04 +0100 |
| commit | 7bd02257c9f198f709350aa0f04eec7f5df6e09c (patch) | |
| tree | 70c6115b2cb7cd3d20ad22fde9fd8661ce48bf50 | |
| parent | 2f0de239e6ee556c0e7c578dc11a7f6b787fd63e (diff) | |
coverity/local_test: fix copy error
coverity/common.sh is a symlink to ../scripts/common.sh in this git
repository. The local_test.sh already adjusts the symlink so it points
to the right place after copying related scripts to /tmp/coverity.
However when running the script again, cp would fail with:
cp: '/home/user/code/osmo-dev/src/osmo-ci/coverity/common.sh' and '/tmp/coverity/common.sh' are the same file
Remove the symlink to avoid this error.
Change-Id: I081871e6e06547a90879bc4aa08ac2b5c5ddaeef
| -rwxr-xr-x | coverity/local_test.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/coverity/local_test.sh b/coverity/local_test.sh index dffb101..a36aac9 100755 --- a/coverity/local_test.sh +++ b/coverity/local_test.sh @@ -6,6 +6,7 @@ export SRC_SKIP_FETCH=1 export SRC_CLEAN=1 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 |