From e1ab67af07ab7bc742bf6532e1baa84e2edc6fc7 Mon Sep 17 00:00:00 2001 From: YOKOTA Hiroshi Date: Mon, 14 Aug 2023 00:01:11 +0900 Subject: [PATCH] Really choose oldest file modification time in target files --- setup/__init__.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/setup/__init__.py b/setup/__init__.py index 4d353a4ac9..8288fb8863 100644 --- a/setup/__init__.py +++ b/setup/__init__.py @@ -47,7 +47,7 @@ def newer(targets, sources): if not os.path.exists(f): return True ttimes = map(lambda x: os.stat(x).st_mtime, targets) - oldest_target = max(ttimes) + oldest_target = min(ttimes) try: stimes = map(lambda x: os.stat(x).st_mtime, sources) newest_source = max(stimes)