diff options
author | Remi Collet <remi@remirepo.net> | 2025-05-06 09:19:17 +0200 |
---|---|---|
committer | Remi Collet <remi@php.net> | 2025-05-06 09:19:17 +0200 |
commit | b9ec0a428ad58d43429d03a7b8b7287555e1b9f6 (patch) | |
tree | cf3cd50adcd2b4a7db6979d14a1cf70f756b17fb /getmock | |
parent | b2674851d59fb15c7f819638ea36e0b9f9654ba0 (diff) |
Diffstat (limited to 'getmock')
-rwxr-xr-x | getmock | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -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 |