summaryrefslogtreecommitdiffstats
path: root/getmock
diff options
context:
space:
mode:
authorRemi Collet <remi@remirepo.net>2025-05-06 09:19:17 +0200
committerRemi Collet <remi@php.net>2025-05-06 09:19:17 +0200
commitb9ec0a428ad58d43429d03a7b8b7287555e1b9f6 (patch)
treecf3cd50adcd2b4a7db6979d14a1cf70f756b17fb /getmock
parentb2674851d59fb15c7f819638ea36e0b9f9654ba0 (diff)
mockit: add redisHEADmaster
Diffstat (limited to 'getmock')
-rwxr-xr-xgetmock6
1 files changed, 3 insertions, 3 deletions
diff --git a/getmock b/getmock
index 9e65e5c..e880e0c 100755
--- a/getmock
+++ b/getmock
@@ -285,7 +285,7 @@ then
debug=$type/$dep/debug-$rep/
else
echo "$1 n'est pas un dépôt ($type/$dep/$rep)"
- exit 2
+ return
fi
if [ -d /var/lib/mock/${1}/repodata ]; then
@@ -297,8 +297,8 @@ elif [ -d /var/lib/mock/${1}i/result ]; then
elif [ -d /var/lib/mock/$1/result ]; then
src=/var/lib/mock/$1/result
else
- echo "$1 n'est pas un dossier mock"
- exit 2
+ echo "$1 n'est pas un dossier mock (missing repodata or result)"
+ return
fi
echo Copie de $src vers $cible