From ed3ee52c3b3f962d221bf41b22fc0876af1a27db Mon Sep 17 00:00:00 2001 From: Jimmy Brisson Date: Tue, 20 Sep 2016 13:32:04 -0500 Subject: [PATCH] Add .bld directories to exported project --- tools/project_api.py | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/tools/project_api.py b/tools/project_api.py index fed3c88ee9..0a64df0fc5 100644 --- a/tools/project_api.py +++ b/tools/project_api.py @@ -1,7 +1,7 @@ """ The new way of doing exports """ import sys from os.path import join, abspath, dirname, exists -from os.path import basename, relpath, normpath +from os.path import basename, relpath, normpath, splitext from os import makedirs, walk ROOT = abspath(join(dirname(__file__), "..")) sys.path.insert(0, ROOT) @@ -125,6 +125,12 @@ def zip_export(file_name, prefix, resources, project_files, inc_repos): source, join(prefix, loc, relpath(source, res.file_basepath[source]))) + for source in res.lib_builds: + target_dir, _ = splitext(source) + dest = join(prefix, loc, + relpath(target_dir, res.file_basepath[source]), + ".bld", "bldrc") + zip_file.write(source, dest)