On 09/11/2013 06:00 AM, Daniele E. Domenichelli wrote: > On 10/09/13 20:05, Brad King wrote: >> I think it should be explicitly enabled or disabled by an option: >> >> GIT_WORK_TREE_PRESERVE <0|1> > > What about EP_WORK_TREE_PRESERVE? Even though the patch is for git only > at the moment, I think this should be supported also for the other > repositories (perhaps just failing if there are no equivalent commands > to make the checks)
The EP_ prefix is not needed because this is already an option of the ExternalProject_Add function. How about SOURCE_DIR_PRESERVE? -Brad -- 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://public.kitware.com/cgi-bin/mailman/listinfo/cmake-developers
