- allow to build non-Webots projects under Windows if no WEBOTS_HOME is set
- allow to build non-Webots projects under Windows if no WEBOTS_HOME is set
BerlinUnited/NaoTH,BerlinUnited/NaoTH,BerlinUnited/NaoTH,BerlinUnited/NaoTH,BerlinUnited/NaoTH,BerlinUnited/NaoTH,BerlinUnited/NaoTH