mirror of https://github.com/ARMmbed/mbed-os.git
Add update command to project.py
parent
167ed2bc12
commit
8f19672530
|
|
@ -175,6 +175,11 @@ def main():
|
||||||
default=[],
|
default=[],
|
||||||
help="Toolchain profile")
|
help="Toolchain profile")
|
||||||
|
|
||||||
|
parser.add_argument("--update-packs",
|
||||||
|
dest="update_packs",
|
||||||
|
action="store_true",
|
||||||
|
default=False)
|
||||||
|
|
||||||
options = parser.parse_args()
|
options = parser.parse_args()
|
||||||
|
|
||||||
# Print available tests in order and exit
|
# Print available tests in order and exit
|
||||||
|
|
@ -203,6 +208,11 @@ def main():
|
||||||
raise
|
raise
|
||||||
exit(0)
|
exit(0)
|
||||||
|
|
||||||
|
if options.update_packs:
|
||||||
|
from tools.arm_pack_manager import Cache
|
||||||
|
cache = Cache(True, True)
|
||||||
|
cache.cache_descriptors()
|
||||||
|
|
||||||
# Clean Export Directory
|
# Clean Export Directory
|
||||||
if options.clean:
|
if options.clean:
|
||||||
if exists(EXPORT_DIR):
|
if exists(EXPORT_DIR):
|
||||||
|
|
|
||||||
Loading…
Reference in New Issue