Firmware build for PICO fails - make: *** [lib/startup_stm32f401xx.o] Error 127

Sat 2021.09.25 - 12:53pm CST

Similar errors occur for WIFI also:

make clean && make
source scripts/provision.sh ESPRUINOWIFI
BOARD=ESPRUINOWIFI make

CC libs/tv/tv.o
CC targets/stm32/jshardware.o
CC targets/stm32/stm32_it.o
libs/tv/tv.c:80:30: error: unknown type name 'TIM_TypeDef'
 unsigned int jshGetTimerFreq(TIM_TypeDef *TIMx);
                              ^~~~~~~~~~~
libs/tv/tv.c: In function 'TIM4_IRQHandler':
libs/tv/tv.c:91:3: error: implicit declaration of function 'TIM_ClearITPendingBit' [-Werror=implicit-function-declaration]
   TIM_ClearITPendingBit(TVTIMER, TIM_IT_Update);
   ^~~~~~~~~~~~~~~~~~~~~
libs/tv/tv.c:64:31: error: 'TIM4' undeclared (first use in this function)
 [#define](http://forum.espruino.com/sear­ch/?q=%23define) TVTIMER               TIM4
                               ^~~~
libs/tv/tv.c:91:25: note: in expansion of macro 'TVTIMER'
   TIM_ClearITPendingBit(TVTIMER, TIM_IT_Update);
                         ^~~~~~~

cc1: some warnings being treated as errors
Makefile:797: recipe for target 'targets/stm32/jshardware.o' failed
make: *** [targets/stm32/jshardware.o] Error 1
rgc@DESKTOP-R7T0VUC:/mnt/c/Users/robin/E­spruino$