PR #1884: misc/loc: add unknown-files hint

hpc · Apr 15, 2024 · ca75c01 · ca75c01
1 parent 759da04
commit ca75c01
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/misc/loc b/misc/loc
@@ -327,6 +327,7 @@ if [[ -s /tmp/loc.extra ]]; then
     cat /tmp/loc.extra
     echo
     echo '🚨🚨🚨 unknown files found 🚨🚨🚨'
+    echo 'hint: did you forget to add new file(s) to misc/loc?'
     exit 1
 fi