Directory API: add mark_changed

buildstream/storage/_filebaseddirectory.py

@@ -121,8 +121,12 @@ class FileBasedDirectory(Directory):
 
             for f in import_result.files_written:
                 os.utime(os.path.join(self.external_directory, f), times=(cur_time, cur_time))
+        self.mark_changed()
         return import_result
 
+    def mark_changed(self):
+        self._directory_read = False
+
     def set_deterministic_mtime(self):
         _set_deterministic_mtime(self.external_directory)
 

buildstream/storage/directory.py

@@ -124,6 +124,14 @@ class Directory():
         """
         raise NotImplementedError()
 
+    def mark_changed(self):
+        """ Mark this directory as having been changed outside this API. This
+        normally can only happen by calling the Sandbox's `run`
+        method.
+
+        """
+        raise NotImplementedError()
+
     # Convenience functions
     def is_empty(self):
         """ Return true if this directory has no files, subdirectories or links in it.