From 6853b7dac103c597466c6b0d0595e372fa908cf4 Mon Sep 17 00:00:00 2001 From: Harald Welte Date: Wed, 11 Oct 2017 08:16:03 +0800 Subject: 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 --- coverity/prepare_source_Osmcocom.sh | 11 ++++++++--- 1 file changed, 8 insertions(+), 3 deletions(-) (limited to 'coverity') 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 @@ for proj in \ 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 -- cgit v1.2.3