From 81a6fc38328a11f9471fb5e30fb339e24653c8db Mon Sep 17 00:00:00 2001 From: Kovid Goyal Date: Wed, 1 Jul 2026 16:01:26 +0530 Subject: [PATCH] Rebuild when build script is newer than cached IR --- kitty/shaders/slang.py | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) diff --git a/kitty/shaders/slang.py b/kitty/shaders/slang.py index ce3c71f32..e813cb828 100644 --- a/kitty/shaders/slang.py +++ b/kitty/shaders/slang.py @@ -41,6 +41,13 @@ def get_shader_src(name: str) -> str: return read_kitty_resource(f'{name}.slang', 'kitty.shaders').decode() +@lru_cache(maxsize=2) +def self_mtime() -> float: + with suppress(Exception): + return os.path.getmtime(__file__) + return 0 + + class Stage(Enum): vertex = 'vertex' fragment = 'fragment' @@ -246,7 +253,7 @@ def get_newest_dep_time(path: str) -> float: for deppath in read_deps_file(path): mtime = os.path.getmtime(deppath) ans = max(mtime, ans) - return ans + return max(ans, self_mtime()) return future()