Problem making firmware for Espruinoboard

I used RELEASE_2V08.
Anyway, with edge I've same problem.
Both are downloaded yesterday this way:

git clone -b RELEASE_2V08 https://github.com/espruino/Espruino.git EspruinoRelease
git clone https://github.com/espruino/Espruino.git EspruinoEdge

Flashing is done with IDE from local file.

To avoid misunderstanding on my side for using the script. I did

• cd to script folder
  
• add path for compiler to $PATH
  
• startet the script
  Now I've a file espruino_file.bin, size is 225 kb
  Would it be correct to flash this file with IDE ?