Tweak mtimes of source files if git-restore-mtime available.

diff --git a/dist/make-src-files b/dist/make-src-files
index f94f9f133498b7c93f5cd4ca80c18cbb3cca94e2..e98b05fade1ebab062b67719cadf8809abd06e2b 100755 (executable)
--- a/dist/make-src-files
+++ b/dist/make-src-files
@@ -47,6 +47,9 @@ GIT_REPO=https://git.savannah.gnu.org/git/"${PROJECT_NAME}".git
 
 notify "Cloning the source tree"
 run_command "${SRC_OUT}"-clone . git clone -b "${GIT_BRANCH}" "${GIT_REPO}"
+if [[ -x /usr/lib/git-core/git-restore-mtime ]]; then
+    run_command "${SRC_OUT}"-mtime "${PROJECT_NAME}" git restore-mtime
+fi
 cleanup_file "${PROJECT_NAME}"
 
 generate_changelog ()