PR #1718: CI fix for PR #1714

hpc · Sep 6, 2023 · d11bb1e · d11bb1e
1 parent 5d8f4c2
commit d11bb1e
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/misc/loc b/misc/loc
@@ -281,6 +281,7 @@ find . -type f -a \( \
      -o -path ./.gitignore \
      -o -path ./VERSION \
      -o -path ./misc/docker-clean.sh \
+     -o -path ./misc/branches-tidy \
      -o -path ./misc/grep \
      -o -path ./misc/loc \) | sort > /tmp/loc.misc
 countem "MISCELLANEOUS" /tmp/loc.misc