chiark / gitweb /
do a thing with tested.other
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 7 Jul 2019 09:09:38 +0000 (10:09 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 7 Jul 2019 09:09:38 +0000 (10:09 +0100)
sometest-run

index f5c74e4..43b941e 100755 (executable)
@@ -3,4 +3,13 @@
 set -e
 set -o pipefail
 
+if [ "$(git-for-each-ref '[r]efs/remotes/main/tested.other')" ]; then
+       this=$(git-log -n1 --pretty=format:%T)
+       if git log --pretty=format:%T HEAD..main/tested.other \
+        | grep -xF "$this"; then
+               echo 'EQUAL TREE'
+               exit 0
+       fi
+fi
+
 time nice tests/using-intree tests/run-all