#NEWLINE# def update( self ) : #NEWLINE# #INDENT# target_board_id = self . settings . get ( 'target_board_id' , '' ) #NEWLINE# if target_board_id : #NEWLINE# #INDENT# ids = target_board_id . split ( '.' ) [ : ( - 1 ) ] #NEWLINE# target_platform_id = '.' . join ( ids ) #NEWLINE# for root_dir in self . root_dirs : #NEWLINE# #INDENT# for package in root_dir . get_packages ( ) : #NEWLINE# #INDENT# for platform in package . get_platforms ( ) : #NEWLINE# #INDENT# if ( platform . get_id ( ) == target_platform_id ) : #NEWLINE# #INDENT# self . target_platform = ids #NEWLINE# break #NEWLINE# #UNINDENT# #UNINDENT# if self . target_platform : #NEWLINE# #INDENT# break #NEWLINE# #UNINDENT# #UNINDENT# if self . target_platform : #NEWLINE# #INDENT# break