JoergAtGithub

@daschuer Friendly Ping

@daschuer Can we merge this?

@daschuer Can we merge this now?

Restored original commits

All done!

@Eve00000 The code with the message 'did you execute the windows_buildenv.bat' is not touched by this PR. This is therefore out of scope. The final goal is of cause to...

@Eve00000 Thank you very much for testing! I improved the error messages and also improved the support for the case that you change the BUILDENV_NAME after running windows_buildenv.bat. Regarding your...

It would be great, if you could test the same cases as before, and tell me if the messages are now better understandable for you.

@Eve00000 Please delete the build directory and ensure that there is no CMakeSettings.json from previous runs of windows_buildenv.bat These errors occur long after the buildenv download and occur most likely...

How did you started the build, and what messages does the log contain about the buildenv download at the beginning?