diff options
author | Oliver Smith <osmith@sysmocom.de> | 2022-06-30 11:43:50 +0200 |
---|---|---|
committer | Oliver Smith <osmith@sysmocom.de> | 2022-06-30 12:27:07 +0200 |
commit | 12630c87ab515602a127562bb846ccc92e9facb8 (patch) | |
tree | 07eb85bf1100134afb5ff06b066ad01ad58216ea | |
parent | ae41942214ef43bbb6aeb257bad2985765035ad7 (diff) |
coverity/prepare_source: fix running twice
Don't attempt to clone layer1-api if it exists already. Jenkins deletes
the sources for every run, but for development it is useful to be able
to run this script multiple times without getting errors.
Change-Id: I17bd76a5ff6abafd4bd0189073930f45de20afe8
-rwxr-xr-x | coverity/prepare_source_Osmocom.sh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/coverity/prepare_source_Osmocom.sh b/coverity/prepare_source_Osmocom.sh index ab8b2bd..09608eb 100755 --- a/coverity/prepare_source_Osmocom.sh +++ b/coverity/prepare_source_Osmocom.sh @@ -44,4 +44,6 @@ for proj in \ fi done -git clone https://git.sysmocom.de/sysmo-bts/layer1-api +if ! [ -d layer1-api ]; then + git clone https://git.sysmocom.de/sysmo-bts/layer1-api +fi |