We've run into an issue with cmake -E rename where the rename fails due to rename() throwing EXDEV when done between devices (different partitions, nfs to local, etc). Erik Greenwald has investigated and has proposed a fix to allow cmake -E rename to succeed across devices - if possible we'd like to get this or some related fix included, since this is a real-world build environment situation for us:
http://public.kitware.com/Bug/view.php?id=12433 Cheers, and thanks! CY _______________________________________________ Powered by www.kitware.com Visit other Kitware open-source projects at http://www.kitware.com/opensource/opensource.html Please keep messages on-topic and check the CMake FAQ at: http://www.cmake.org/Wiki/CMake_FAQ Follow this link to subscribe/unsubscribe: http://www.cmake.org/mailman/listinfo/cmake
