copy_if_different: segfault in case <file>... contains an empty directory
cmake -E copy_if_different dir1/ dir2/ on Linux where
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.