Improved copy operation for user directory contents of previous major releases

[lyx.git] / lib / configure.py

diff --git a/lib/configure.py b/lib/configure.py
index 80cc78723000125aad4190be185aa32bbaa9f83f..df0251268aef3bc37ba6a69a2fb43884d7f04fa9 100644 (file)
--- a/lib/configure.py
+++ b/lib/configure.py
@@ -157,8 +157,8 @@ def copy_tree(src, dst, preserve_symlinks=False, level=0):
             link_dest = os.readlink(src_name)
             os.symlink(link_dest, dst_name)
             outputs.append(dst_name)
-        elif level == 0 and name == 'cache':
-            logger.info("Skip cache %s", src_name)
+        elif level == 0 and name in [ 'cache', 'configure.log', 'chkconfig.ltx' ]:
+            logger.info("Skip copy of %s", src_name)
         elif os.path.isdir(src_name):
             outputs.extend(
                 copy_tree(src_name, dst_name, preserve_symlinks, level=(level + 1)))