osmith has uploaded this change for review.

View Change

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

To view, visit change 28491. To unsubscribe, or for help writing mail filters, visit settings.