diff options
| author | Simon John <git@the-jedi.co.uk> | 2014-05-22 23:35:43 +0100 |
|---|---|---|
| committer | Simon John <git@the-jedi.co.uk> | 2014-05-22 23:35:43 +0100 |
| commit | 82afb2769f83b68cacd18cc64d7057144393be64 (patch) | |
| tree | 4d79a946b8ae42a5874ee4bc3cd49de9c12776af /Arduino.mk | |
| parent | 423b0a7b8b3f2fb38e1a29657a0b10d557419849 (diff) | |
"make show_boards" now lists the board name as well as board tag.
also is alphabetically sorted by tag now.
Fixes #204
Diffstat (limited to 'Arduino.mk')
| -rw-r--r-- | Arduino.mk | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1251,7 +1251,7 @@ size: $(TARGET_HEX) $(call avr_size,$(TARGET_ELF),$(TARGET_HEX)) show_boards: - @$(CAT) $(BOARDS_TXT) | grep -E "^[[:alnum:]]" | cut -d . -f 1 | uniq + @$(CAT) $(BOARDS_TXT) | grep -E "^[[:alnum:]]+.name" | sort -u | sed 's/.name=/:/' | column -s: -t monitor: $(MONITOR_CMD) $(call get_monitor_port) $(MONITOR_BAUDRATE) |