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

Merge pull request #8359 from kaidokert/master 

Allow overriding build timestamp from env
pull/8375/merge
Cruz Monrreal 2018-10-17 08:57:37 -05:00 committed by GitHub
parent c37dc5fea8 77f9fb9039
commit a5855e4da5
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
tools/toolchains/__init__.py
View File

@ -19,7 +19,7 @@ from __future__ import print_function, division, absolute_import
import re import re
import sys import sys
import json import json
from os import stat, walk, getcwd, sep, remove from os import stat, walk, getcwd, sep, remove, getenv
from copy import copy from copy import copy
from time import time, sleep from time import time, sleep
from shutil import copyfile from shutil import copyfile
@ -126,7 +126,7 @@ class mbedToolchain:
# Build output dir # Build output dir
self.build_dir = abspath(build_dir) if PRINT_COMPILER_OUTPUT_AS_LINK else build_dir self.build_dir = abspath(build_dir) if PRINT_COMPILER_OUTPUT_AS_LINK else build_dir
self.timestamp = time() self.timestamp = getenv("MBED_BUILD_TIMESTAMP",time())
# Number of concurrent build jobs. 0 means auto (based on host system cores) # Number of concurrent build jobs. 0 means auto (based on host system cores)
self.jobs = 0 self.jobs = 0