+ /* Check if we've walked past any names in db_files or
+ * db_subdirs. If so, these have been deleted. */
+ while (notmuch_filenames_has_more (db_files) &&
+ strcmp (notmuch_filenames_get (db_files), entry->d_name) < 0)
+ {
+ printf ("Detected deleted file %s/%s\n", path,
+ notmuch_filenames_get (db_files));
+
+ notmuch_filenames_advance (db_files);
+ }
+
+ while (notmuch_filenames_has_more (db_subdirs) &&
+ strcmp (notmuch_filenames_get (db_subdirs), entry->d_name) <= 0)
+ {
+ if (strcmp (notmuch_filenames_get (db_subdirs), entry->d_name) < 0)
+ printf ("Detected deleted directory %s/%s", path,
+ notmuch_filenames_get (db_subdirs));
+
+ notmuch_filenames_advance (db_subdirs);
+ }
+