[ros-diffs] [peterw] 30718: - Add a pushd/popd to options.cmd so that options.exe pulls up a better default path for MinGW/GCC.