summaryrefslogtreecommitdiffstats
path: root/wscript
diff options
context:
space:
mode:
Diffstat (limited to 'wscript')
-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("."):