1
0
Fork 0

coverity/prepare_source: add SRC_SKIP_FETCH/CLEAN

When running these scripts locally while developing, it's more useful to
not fetch the sources and clean the git repository instead. Add
environment variables that allow doing this.

Change-Id: Id6d3cdabb776435df36c0145d93e514693062fca
This commit is contained in:
Oliver Smith 2022-06-30 11:46:37 +02:00
parent 12630c87ab
commit 26a02acdf0
1 changed files with 6 additions and 1 deletions

View File

@ -38,7 +38,12 @@ for proj in \
; do
if [ -d $proj ]; then
(cd $proj && git fetch && git checkout -f -B master origin/master)
if [ -z "$SRC_SKIP_FETCH" ]; then
(cd $proj && git fetch && git checkout -f -B master origin/master)
fi
if [ -n "$SRC_CLEAN" ]; then
git -C "$proj" clean -ffxd
fi
else
git clone git://git.osmocom.org/$proj
fi