Add another dir to prune out

[pkgusr] / usr / bin / grep_all_regular_files_for

diff --git a/usr/bin/grep_all_regular_files_for b/usr/bin/grep_all_regular_files_for
index 0f12ea1..2f33586 100755 (executable)
--- a/usr/bin/grep_all_regular_files_for
+++ b/usr/bin/grep_all_regular_files_for
@@ -62,7 +62,7 @@ NOLEAF=
 #      /usr/share/polkit-1/rules.d \
 #      /var/tmp \
 #       /var/{cache,chroot,db,run,snmp,spool} \
-#       /var/lib/{sshd,nfs,spamassassin,pulse}) #NO TRAILING SLASHES!!!!
+#       /var/lib/{sshd,nfs,spamassassin,pulse,machines}) #NO TRAILING SLASHES!!!!
 
 prune_prefixes=(\
        /home \