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 /coverity | |
| 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
Diffstat (limited to 'coverity')
| -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 |