dump-runlisp-image.c (notice_filename): Log a message if verbosity permits.

diff --git a/dump-runlisp-image.c b/dump-runlisp-image.c
index 836dc54c4de6bf539cc99a95bcd56a900b6a314c..9ed578d73861d2cd28281a7a2852aecd8646ee6f 100644 (file)
--- a/dump-runlisp-image.c
+++ b/dump-runlisp-image.c
@@ -547,6 +547,7 @@ static void notice_filename(const char *p, size_t sz)
   if (!node) {
     node = xmalloc(sizeof(*node));
     treap_insert(&good, &path, node, p, sz);
+    if (verbose >= 3) moan("noticed non-junk file `%.*s'", (int)sz, p);
   }
 }