[PATCH] scripts/clean_functional_cache: Remove also .stamp files

The cache cleanup script already successfully removes the assets
that are unused since more than 6 months, but it forgot to delete
the corresponding timestamp files, too.

Signed-off-by: Thomas Huth <[email protected]>
---
 scripts/clean_functional_cache.py | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/scripts/clean_functional_cache.py b/scripts/clean_functional_cache.py
index c3370ffbb87..1ff98c7606d 100755
--- a/scripts/clean_functional_cache.py
+++ b/scripts/clean_functional_cache.py
@@ -28,8 +28,9 @@
     if len(file.name) != 64:
         continue
 
+    stampfile = file.with_suffix(".stamp")
     try:
-        timestamp = int(file.with_suffix(".stamp").read_text())
+        timestamp = int(stampfile.read_text())
     except FileNotFoundError:
         # Assume it's an old file that was already in the cache before we
         # added the code for evicting stale assets. Use the release date
@@ -43,3 +44,4 @@
         print(f"Removing {cache_dir}/{file.name}.")
         file.chmod(stat.S_IWRITE)
         file.unlink()
+        stampfile.unlink()
-- 
2.55.0