So here are my specific steps. I am on Ubuntu 18.04, using arm-gcc version gcc-arm-none-eabi-7-2017-q4-major.
- I cloned https://github.com/espruino/Espruino and ran
source scripts/provision.sh PUCKJS
DFU_UPDATE_BUILD=1 RELEASE=1 BOARD=PUCKJS make
This spat out an 'espruino_1v97.5_puckjs.zip' which i transferred to my phone and programmed according to the instructions using nrftoolbox app on my phone
I reset the device by removing the battery then holding the button while reinserting it. I keep it held down while the light is green.
However at this step the light turns red and stays a solid red instead of blinking all 3 leds then blinking red for a few times.
Note that I have done this exact method with the .zip from http://www.espruino.com/binaries/travis/master/
and the whole process works as expected, it seems to fail with the .zip file I make myself. Even without any modifications to the code I took directly off github.