From 44dc13645c7be7b5d285f043811ebcd94f5dcd0e Mon Sep 17 00:00:00 2001 From: Bogdan Marinescu Date: Wed, 7 May 2014 22:13:16 +0100 Subject: [PATCH] Add the option to override the build directory using environment variables --- workspace_tools/paths.py | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/workspace_tools/paths.py b/workspace_tools/paths.py index 57e0e0c95d..64677371db 100644 --- a/workspace_tools/paths.py +++ b/workspace_tools/paths.py @@ -15,10 +15,14 @@ See the License for the specific language governing permissions and limitations under the License. """ from os.path import join +from os import getenv # Conventions about the directory structure from settings import ROOT, BUILD_DIR +# Allow overriding some of the build parameters using environment variables +BUILD_DIR = getenv("MBED_BUILD_DIR") or BUILD_DIR + # Embedded Libraries Sources LIB_DIR = join(ROOT, "libraries")