Dothem: skip test if we have tested the same tree already

diff --git a/Dothem b/Dothem
index b8f52c96bf06411caac40401a1765b3412a7a737..71bfc59ec3410e3bd0fbd876ea2644bddc9e398b 100755 (executable)
--- a/Dothem
+++ b/Dothem
@@ -120,19 +120,29 @@ do
        fi
 
        (
+               skip_test=$notest
+               case ",$version,$revision," in
+               *,,*)
+                       ;;
+               *)
+                       if git diff --quiet --exit-code $version $revision
+                       then
+                               skip_test=1
+                       fi
+                       ;;
+               esac
                case "$branch, $branches " in
                jch,*' next '*)
                        if git diff --quiet --exit-code jch next
                        then
-                               dotest=
-                       else
-                               dotest=test
+                               skip_test=1
                        fi
                        ;;
-               *)
-                       dotest=test ;;
                esac
-               test -z "$notest" || dotest=
+               case "$skip_test" in
+               ?*)     dotest= ;;
+               '')     dotest=test ;;
+               esac
 
                cd "$BUILDBASE/$branch"
                git reset --hard  &&