[generate] Revert f0d9d90 and replace with adding target to `known_fi…

…les` when we want to keep visualizer output
mpsijm · Jul 17, 2024 · 67eb0ee · 67eb0ee
1 parent f85a5bc
commit 67eb0ee
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/bin/generate.py b/bin/generate.py
@@ -1006,6 +1006,8 @@ def copy_generated():
                         # When running with --no-visualizer and .in/.ans files did not change,
                         # do not remove output of visualizer.
                         # This is useful for when a user/CI has a clean cache (e.g. after a reboot).
+                        # Also add target to known_files, so the cleanup step does not remove it.
+                        generator_config.known_files.add(target)
                         continue
                     # Target exists but source wasn't generated -> remove it
                     generator_config.remove(target)
@@ -1809,8 +1811,6 @@ def _remove_unknown(self, path, bar, silent=False):
                 path.is_dir() and local in self.known_directories,
                 not path.is_dir() and path in self.known_files,
                 not path.is_dir() and not self.process_testcase(local),
-                # Do not remove output of visualizer when running with --no-visualizer
-                config.args.no_visualizer and path.suffix in config.KNOWN_VISUALIZER_EXTENSIONS,
             )
         )
         if keep: