From 22cba71eebf670464cc45f80551fb67017c02304 Mon Sep 17 00:00:00 2001 From: Jan Lindemann Date: Tue, 8 Mar 2016 16:35:58 +0000 Subject: [PATCH] build.py: Add dep cache (doesn't make a speed difference at all) Signed-off-by: Jan Lindemann --- scripts/build.py | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/scripts/build.py b/scripts/build.py index 9a5b8950..07c1dcfb 100644 --- a/scripts/build.py +++ b/scripts/build.py @@ -31,6 +31,12 @@ def find_proj_path(name): raise Exception("module " + name + " not found below " + proj_base) def read_deps(cur, prereq_type): + # dep cache doesn't make a difference at all + if prereq_type in dep_cache: + if cur in dep_cache[prereq_type]: + return dep_cache[cur][prereq_type] + else: + dep_cache[prereq_type] = {} path = find_proj_path(cur) os.chdir(path) # ignoring prereq_type, as it has never been anything but BUILD, now @@ -44,6 +50,8 @@ def read_deps(cur, prereq_type): r.add(d) if cur in r: r.remove(cur) + print 'inserting', prereq_type, cur, r + dep_cache[prereq_type][cur] = r return r def add_tree(cur, prereq_type):