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
--
To view, visit
https://gerrit.osmocom.org/c/osmo-ci/+/28491
To unsubscribe, or for help writing mail filters, visit
https://gerrit.osmocom.org/settings
Gerrit-Project: osmo-ci
Gerrit-Branch: master
Gerrit-Change-Id: Id6d3cdabb776435df36c0145d93e514693062fca
Gerrit-Change-Number: 28491
Gerrit-PatchSet: 1
Gerrit-Owner: osmith <osmith(a)sysmocom.de>
Gerrit-MessageType: newchange