Commit 602d019ec55fd5e7c6ad19ca6500afc285166e18

Thomas de Grivel 2023-02-17T12:51:58

upgrade

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
diff --git a/bin/shpkg_ci_mux b/bin/shpkg_ci_mux
index f442cf7..8f21a4a 100755
--- a/bin/shpkg_ci_mux
+++ b/bin/shpkg_ci_mux
@@ -50,8 +50,11 @@ main () {
         for SHPKG_CI_MUX_HOST; do
             wait
         done
-        if [ "x${SHPKG_REPO}" == "x--upgrade" ] ||
-               [ "x${SHPKG_REPO}" == "x--clean" ]; then
+        if [ "x${SHPKG_REPO}" == "x--upgrade" ]; then
+            verbose 2 shpkg_upgrade
+            exit
+        fi
+        if [ "x${SHPKG_REPO}" == "x--clean" ]; then
             exit
         fi
     fi