summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorSebastian Huber <sebastian.huber@embedded-brains.de>2020-10-28 06:36:28 +0100
committerSebastian Huber <sebastian.huber@embedded-brains.de>2020-10-28 07:33:38 +0100
commiteebad5ffcd6713f49c0e629c05bb1fd14fb98a38 (patch)
tree50526a48a3ecdb440b3ce4f25d5c7af019ad42c0
parentbuild: Report caching errors (diff)
downloadrtems-eebad5ffcd6713f49c0e629c05bb1fd14fb98a38.tar.bz2
build: Improve cache handling
Check the directory modification time to notice file removals.
-rwxr-xr-xwscript5
1 files changed, 4 insertions, 1 deletions
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("."):