From eebad5ffcd6713f49c0e629c05bb1fd14fb98a38 Mon Sep 17 00:00:00 2001
From: Sebastian Huber <sebastian.huber@embedded-brains.de>
Date: Wed, 28 Oct 2020 06:36:28 +0100
Subject: build: Improve cache handling

Check the directory modification time to notice file removals.
---
 wscript | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/wscript b/wscript
index 432d705107..57ec6ff7f7 100755
--- a/wscript
+++ b/wscript
@@ -1090,9 +1090,12 @@ class BuildItemContext(object):
 
 def is_one_item_newer(ctx, path, mtime):
     try:
+        mtime2 = os.path.getmtime(path)
+        if mtime <= mtime2:
+            return True
         names = os.listdir(path)
     except Exception as e:
-        ctx.fatal("Cannot list build specification directory: {}".format(e))
+        ctx.fatal("Cannot access build specification directory: {}".format(e))
     for name in names:
         path2 = os.path.join(path, name)
         if name.endswith(".yml") and not name.startswith("."):
-- 
cgit v1.2.3