Look in the Makefile, in the top you can se which names that can be used.
STM32FDISCOVERY is not in. Do you mean STM32F3DISCOVERY or STM32F4DISCOVERY instead of.
© Espruino, powered by microcosm.
Report a problem