/* If this directory hasn't been modified since the last
* add_files, then we only need to look further for
* sub-directories. */
/* If this directory hasn't been modified since the last
* add_files, then we only need to look further for
* sub-directories. */