diff options
| author | Ulf Magnusson <ulfalizer@gmail.com> | 2018-12-08 04:47:52 +0100 |
|---|---|---|
| committer | Ulf Magnusson <ulfalizer@gmail.com> | 2018-12-08 04:54:47 +0100 |
| commit | 78073d6674ce3250334d0f5177c9f8010e8d381c (patch) | |
| tree | 918f7a9e0db6c5d69eafbb8b07ffff2c3d55bf18 /allmodconfig.py | |
| parent | 3cc2f9f32b61ed27c533b60a8544ac32de0d969d (diff) | |
Preserve symlinks when writing .config.old files
if .config is a symlink, then the intention is probably to overwrite the
target, but rename()ing the symlink to .config.old interferes with that.
Use the shutil.copyfile() fallback instead if .config is a symlink.
Diffstat (limited to 'allmodconfig.py')
0 files changed, 0 insertions, 0 deletions