arm-none-eabi-gcc: fatal error: cannot read spec file 'nosys.specs': No such file or directory

[e3k]

i skipped the steps:

select emulator to compile in CMakeLists.txt (uncomment ${XXX_SOURCES} and comment out the rest)
select platform options in config/platform_confih.h (e.g. PICOMPUTER, default is MCUME_REV1)

as i did not know what exactly to do.

then the compilation fails at 'make':
[ 2%] Linking ASM executable bs2_default.elf
arm-none-eabi-gcc: fatal error: cannot read spec file 'nosys.specs': No such file or directory
compilation terminated.
make[2]: *** [pico-sdk/src/rp2_common/boot_stage2/CMakeFiles/bs2_default.dir/build.make:97: pico-sdk/src/rp2_common/boot_stage2/bs2_default.elf] Error 1
make[1]: *** [CMakeFiles/Makefile2:1483: pico-sdk/src/rp2_common/boot_stage2/CMakeFiles/bs2_default.dir/all] Error 2
make: *** [Makefile:91: all] Error 2