[ros-diffs] [arty] 14910: Added HOST=mingw32-linux64 setting.