fix(esp-idf): source files other than main.c are not picked up

we need to force rerunning CMake in order to update the list of sources to compile.

Author: urish

esp-idf/compile.sh

@@ -55,6 +55,7 @@ fi
 idf.py build 1>&2
 
 rm -f main/src/*
+touch main/CMakeLists.txt # Force rescanning of sources under main/src
 
 cp ./build/wokwi-project.bin ${HOME}/build-out/project.bin
 cp ./build/wokwi-project.elf ${HOME}/build-out/project.elf