cladmi 52b0b183a3
boards/flash.sh: rename HEXFILE to BINFILE
Flasher are doing 'loadbin' so use BINFILE name.
2018-11-26 16:39:11 +01:00
..