From 36cf1c3179b61952487229444e78cbd4ffed1b7b Mon Sep 17 00:00:00 2001 From: Pieter-Jan Briers Date: Wed, 22 Jan 2020 17:05:32 +0100 Subject: [PATCH] Use shutil.copy2 instead of shutil.copyfile for git_helper.py Probably fixes #541 --- BuildChecker/git_helper.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/BuildChecker/git_helper.py b/BuildChecker/git_helper.py index 779719e9ff..00fd93a43d 100644 --- a/BuildChecker/git_helper.py +++ b/BuildChecker/git_helper.py @@ -83,7 +83,7 @@ def install_hooks(): for filename in os.listdir(str(hooks_source_dir)): print("Copying hook {}".format(filename)) - shutil.copyfile(str(hooks_source_dir/filename), + shutil.copy2(str(hooks_source_dir/filename), str(hooks_target_dir/filename))