tree 937bfbf76c3ae9fb1517dd0d9856ba2ce6a5238f
parent 62dfd02e30e33be7b6acab5e2e50677d60b8ff8c
author Tom de Vries <tdevries@suse.de> 1697535486 +0200
committer Tom de Vries <tdevries@suse.de> 1697535486 +0200

[gdb/cli] Keep track of styling failures in source_cache

In source_cache::ensure, keep track of which files failed to be styled, and
don't attempt to style them again in case the file dropped out of the cache.

Tested on x86_64-linux.

Reviewed-By: Lancelot Six <lancelot.six@amd.com>