Dothem update

diff --git a/Dothem b/Dothem
index dfcf8bcf0a16cda26ec39e1d18dde45eb2149c5e..6598517b2a242b01dbc400906e452bda7efaefe8 100755 (executable)
--- a/Dothem
+++ b/Dothem
@@ -54,6 +54,13 @@ do
        echo "** $branch" &&
 
        (
+               case "$branch, $branches " in
+               jch,*' next '*)
+                       dotest= ;;
+               *)
+                       dotest=test ;;
+               esac
+
                cd "$BUILDBASE/$branch"
                git checkout "$branch" &&
                git reset --hard  || exit
@@ -72,14 +79,14 @@ do
                y)
                        case "$branch" in
                        master | maint | next | jch)
-                               Meta/Make $M -- $J SHELL_PATH=/bin/dash test
+                               Meta/Make $M -- $J SHELL_PATH=/bin/dash $dotest
                                ;;
                        esac
                        ;;
                esac &&
 
                Meta/Make $M -- $J all &&
-               Meta/Make $M -- $J test &&
+               Meta/Make $M -- $J $dotest &&
                case "$branch" in
                master | maint | next )
                        Meta/Make $M -- doc