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

Sat 2021.09.25 - 09:58am CST

I'm running a WSL terminal window from inside VSCode. No virtual drive.

https://github.com/espruino/Espruino/blo­b/master/README_Building.md#for-espruino­

sudo apt-get update
sudo apt-get install -y \
  build-essential git python python-pip
sudo pip install --upgrade pip
# User choice for placement of source repos
mkdir -p ~/source/repos/github/espruino
cd ~/source/repos/github/espruino
git clone https://github.com/espruino/Espruino.git­
cd Espruino
make clean && make
chmod +x espruino && sudo cp espruino /usr/local/bin

Just re-entered these commands and the second to last, the make clean && make now runs for an extended period which it hadn't before.

So I thought success. Except when I run:

rgc@DESKTOP-R7T0VUC:/mnt/c/Users/robin/E­spruino$ BOARD=PICO make
CC /mnt/c/Users/robin/Espruino/targetlibs/s­tm32f4/lib/startup_stm32f401xx.o
make: arm-none-eabi-gcc: Command not found
Makefile:810: recipe for target '/mnt/c/Users/robin/Espruino/targetlibs/­stm32f4/lib/startup_stm32f401xx.o' failed
make: *** [/mnt/c/Users/robin/Espruino/targetlibs/­stm32f4/lib/startup_stm32f401xx.o] Error 127    
rgc@DESKTOP-R7T0VUC:/mnt/c/Users/robin/E­spruino$

Just looked and there isn't a startup_stm32f401xx.o file just a startup_stm32f401xx.s

Does that provide a clue to anyone??