the other jimmy / mbed-sdk-tools

Important changes to repositories hosted on mbed.com

Mbed hosted mercurial repositories are deprecated and are due to be permanently deleted in July 2026.

To keep a copy of this software download the repository Zip archive or clone locally using Mercurial.

It is also possible to export all your personal repositories from the account settings page.

Fork of mbed-sdk-tools by mbed official

Diff: synch.py

Revision:
31:182518299918
Parent:
17:04753e1e329d
--- a/synch.py	Mon Aug 29 11:56:59 2016 +0100
+++ b/synch.py	Wed Jan 04 11:58:24 2017 -0600
@@ -47,7 +47,7 @@
 # Tuple data: (repo_name, list_of_code_dirs, [team])
 # team is optional - if not specified, the code is published under mbed_official
 OFFICIAL_CODE = (
-    ("mbed-dev" , MBED_BASE),
+    ("mbed-dev" , [MBED_DRIVERS, MBED_PLATFORM, MBED_HAL]),
     ("mbed-rtos", RTOS),
     ("mbed-dsp" , DSP),
     ("mbed-rpc" , MBED_RPC),