copy_if_different: segfault in case <file>... contains an empty directory
Running cmake -E copy_if_different dir1/ dir2/
on Linux where dir1
and dir2
are two empty directories results in a endless recursion of SystemTools::CopyFileIfDifferent
causing a segmentation fault.
This function should probably return false
in case source
is not a file.
Edited by Sebastian Lipponer