Virtual Device, no executable produced on Mac

Good morning,
I’m trying to build the gcc version of the firmware on a Mac.
I did like the documentation suggest:
cd main
make -s PRODUCT_ID=3

The problem is that I dont’ have the build/target/main/platform-3/main output folder, but build/target/main/platform-0-lto and none executable files. Onlu bin, hex and elf.

Someone can help me?
Thanks a lot, Flavio