Howto: Building the espruino code

Yes you are right, that was a typo which I actually had spotted but forgot to correct while posting the comment. Unfortunately I had no better luck with the correct board name i.e. STM32F3DISCOVERY . Nor with STM32F4DISCOVERY or ESPRUINO_1V3=1. I copy-pasted the boardname from the makefile just to make sure. All give the same errors.

asko@asko-desktop:~/Espruino-master$ STM32F3DISCOVERY=1 RELEASE=1 make
Traceback (most recent call last):
File "scripts/get_binary_name.py", line 40, in

print common.get_board_binary_name(board)

File "/home/asko/Espruino-master/scripts/comm­on.py", line 247, in get_board_binary_name

return board.info["binary_name"].replace("%v", get_version());

File "/home/asko/Espruino-master/scripts/comm­on.py", line 237, in get_version

return subprocess.check_output(["sed", "-ne", "s/^.*JS_VERSION.*\"\(.*\)\"/\\1/p", jsutils]).strip()

AttributeError: 'module' object has no attribute 'check_output'
Makefile:300: *** Unable to work out binary name (PROJ_NAME). Stop.
asko@asko-desktop:~/Espruino-master$