osmith has uploaded this change for review. ( https://gerrit.osmocom.org/c/osmo-ci/+/28491 )
Change subject: coverity/prepare_source: clean existing git dirs ......................................................................
coverity/prepare_source: clean existing git dirs
Clean git dirs if they exist already instead of fetching and reset to master. It is faster and more useful during development. Jenkins doesn't run this code path, it deletes all source directories before running this script.
Change-Id: Id6d3cdabb776435df36c0145d93e514693062fca --- M coverity/prepare_source_Osmocom.sh 1 file changed, 1 insertion(+), 1 deletion(-)
git pull ssh://gerrit.osmocom.org:29418/osmo-ci refs/changes/91/28491/1
diff --git a/coverity/prepare_source_Osmocom.sh b/coverity/prepare_source_Osmocom.sh index 09608eb..d017989 100755 --- a/coverity/prepare_source_Osmocom.sh +++ b/coverity/prepare_source_Osmocom.sh @@ -38,7 +38,7 @@ ; do
if [ -d $proj ]; then - (cd $proj && git fetch && git checkout -f -B master origin/master) + git -C "$proj" clean -ffxd else git clone git://git.osmocom.org/$proj fi
-
osmith