diff options
| -rw-r--r-- | tools/buildman/board.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/buildman/board.py b/tools/buildman/board.py index 5d536d5f200..ae0e0b8e171 100644 --- a/tools/buildman/board.py +++ b/tools/buildman/board.py @@ -92,9 +92,9 @@ class Board: self.board_name = board_name self.vendor = vendor self.soc = soc - self.props = [self.target, self.arch, self.cpu, self.board_name, - self.vendor, self.soc] self.options = options + self.props = [self.target, self.arch, self.cpu, self.board_name, + self.vendor, self.soc, self.options] self.build_it = False |