diff options
author | Alon Zakai <alonzakai@gmail.com> | 2012-02-09 17:49:43 -0800 |
---|---|---|
committer | Alon Zakai <alonzakai@gmail.com> | 2012-02-09 17:49:43 -0800 |
commit | d239790152d4f8836585518712ae1fd68f06dfa5 (patch) | |
tree | 6055287f0e26ea44ccbad5dbcb42517b91a71f23 /tools/shared.py | |
parent | 65bbb50870a52f8fa0fa90d14050ad8f21c338d8 (diff) |
enforce strict order in multiple libraries generated in the test runner: the order does matter
Diffstat (limited to 'tools/shared.py')
-rw-r--r-- | tools/shared.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/shared.py b/tools/shared.py index 9882cd7f..d830627c 100644 --- a/tools/shared.py +++ b/tools/shared.py @@ -452,10 +452,10 @@ set(CMAKE_FIND_ROOT_PATH_MODE_PACKAGE ONLY)''' \ Building.make(make + make_args, stdout=open(os.path.join(project_dir, 'make_'), 'w'), stderr=open(os.path.join(project_dir, 'make_err'), 'w'), env=env) if cache is not None: - cache[cache_name] = {} + cache[cache_name] = [] for f in generated_libs: basename = os.path.basename(f) - cache[cache_name][basename] = open(f, 'rb').read() + cache[cache_name].append((basename, open(f, 'rb').read())) if old_dir: os.chdir(old_dir) return generated_libs |