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

Change the synch.py script to make it usable as a module

pull/64/merge
Bogdan Marinescu 2013-09-11 12:59:28 +03:00
parent 12d085ec0a
commit 5ec4edf76f
1 changed files with 19 additions and 15 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

34
workspace_tools/synch.py
View File

@ -283,6 +283,24 @@ def update_dependencies(repositories):
def update_mbed(): def update_mbed():
update_repo("mbed", join(BUILD_DIR, "mbed")) update_repo("mbed", join(BUILD_DIR, "mbed"))
def do_sync(options):
global push_remote, quiet, commit_msg
push_remote = not options.nopush
quiet = options.quiet
commit_msg = options.msg
if options.code:
update_code(OFFICIAL_CODE)
if options.dependencies:
update_dependencies(CODE_WITH_DEPENDENCIES)
if options.mbed:
update_mbed()
if changed:
print "Repositories with changes:", changed
if __name__ == '__main__': if __name__ == '__main__':
parser = OptionParser() parser = OptionParser()
@ -312,19 +330,5 @@ if __name__ == '__main__':
(options, args) = parser.parse_args() (options, args) = parser.parse_args()
push_remote = not options.nopush do_sync(options)
quiet = options.quiet
commit_msg = options.msg
if options.code:
update_code(OFFICIAL_CODE)
if options.dependencies:
update_dependencies(CODE_WITH_DEPENDENCIES)
if options.mbed:
update_mbed()
if changed:
print "Repositories with changes:", changed