From 88fa1fab83291bdf041593f35bda21c81eb1b499 Mon Sep 17 00:00:00 2001 From: Thomas Nagy Date: Mon, 8 Jul 2019 19:23:50 +0200 Subject: [PATCH] Make the configuration cache more accurate #2251 --- waflib/Configure.py | 11 +++++------ 1 file changed, 5 insertions(+), 6 deletions(-) diff --git a/waflib/Configure.py b/waflib/Configure.py index fff2f7a1..5762eb66 100644 --- a/waflib/Configure.py +++ b/waflib/Configure.py @@ -537,12 +537,11 @@ def run_build(self, *k, **kw): """ buf = [] for key in sorted(kw.keys()): - if key != 'env': - v = kw[key] - if hasattr(v, '__call__'): - buf.append(Utils.h_fun(v)) - else: - buf.append(str(v)) + v = kw[key] + if hasattr(v, '__call__'): + buf.append(Utils.h_fun(v)) + else: + buf.append(str(v)) h = Utils.h_list(buf) dir = self.bldnode.abspath() + os.sep + (not Utils.is_win32 and '.' or '') + 'conf_check_' + Utils.to_hex(h)