Anders Blomdell / mbed-sdk-tools

Clone of official tools

Diff: synch.py

Revision:
31:8ea194f6145b
Parent:
17:04753e1e329d
Child:
35:da9c89f8be7d
diff -r f12ce67666d0 -r 8ea194f6145b synch.py
--- 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),