Make push_dir() output where we are when verbosity is high.

diff --git a/util.c b/util.c
index 743419303fd44e8ae87811e7d5899e8883856c58..2544b45e886382a6e7c1fcaeb4962db393c69a61 100644 (file)
--- a/util.c
+++ b/util.c
@@ -898,6 +898,9 @@ int push_dir(const char *dir, int set_path_only)
                curr_dir_depth = count_dir_elements(curr_dir + module_dirlen);
        }
 
+       if (verbose >= 5)
+               rprintf(FINFO, "[%s] dir is now %s\n", who_am_i(), curr_dir);
+
        return 1;
 }