[PATCH] osmo-ci[master]: coverity: Don't start with a new clone, but simply fetch/che...

This is merely a historical archive of years 2008-2021, before the migration to mailman3.

A maintained and still updated list archive can be found at https://lists.osmocom.org/hyperkitty/list/gerrit-log@lists.osmocom.org/.

Harald Welte gerrit-no-reply at lists.osmocom.org
Wed Oct 11 00:46:37 UTC 2017


Review at  https://gerrit.osmocom.org/4206

coverity: Don't start with a new clone, but simply fetch/checkout

If a given git clone already exists, simply do a fetch + checkout -f,
rather than cloning a decade worth of history from scratch.

Change-Id: Icecb2d00a75bc303d84efafee5c1f2d52ba1b6b3
---
M coverity/prepare_source_Osmcocom.sh
1 file changed, 8 insertions(+), 3 deletions(-)


  git pull ssh://gerrit.osmocom.org:29418/osmo-ci refs/changes/06/4206/1

diff --git a/coverity/prepare_source_Osmcocom.sh b/coverity/prepare_source_Osmcocom.sh
index 386e16e..527bbc9 100755
--- a/coverity/prepare_source_Osmcocom.sh
+++ b/coverity/prepare_source_Osmcocom.sh
@@ -1,7 +1,8 @@
 #!/bin/sh
-mkdir -p source-Osmocom
+BASEDIR=source-Osmocom
 
-cd source-Osmocom
+[ -d $BASEDIR ] || mkdir -p $BASEDIR
+cd $BASEDIR
 
 for proj in \
   asn1c \
@@ -23,7 +24,11 @@
   osmo-hlr \
   ; do
 
-  git clone git://git.osmocom.org/$proj
+	if [ -d $proj ]; then
+		(cd $proj && git fetch && git checkout -f -B master origin/master)
+	else
+		git clone git://git.osmocom.org/$proj
+	fi
 done
 
 git clone git://git.sysmocom.de/sysmo-bts/layer1-api

-- 
To view, visit https://gerrit.osmocom.org/4206
To unsubscribe, visit https://gerrit.osmocom.org/settings

Gerrit-MessageType: newchange
Gerrit-Change-Id: Icecb2d00a75bc303d84efafee5c1f2d52ba1b6b3
Gerrit-PatchSet: 1
Gerrit-Project: osmo-ci
Gerrit-Branch: master
Gerrit-Owner: Harald Welte <laforge at gnumonks.org>



More information about the gerrit-log mailing list