ARMmbed
/
mbed-os
mirror of https://github.com/ARMmbed/mbed-os.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Add the option to override the build directory using environment variables

pull/299/head
Bogdan Marinescu 2014-05-07 22:13:16 +01:00
parent 9b366ee801
commit 44dc13645c
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
workspace_tools/paths.py
View File

@ -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")