From 2452e2d8af86577f76a3516d6db574ffb7a5e3dc Mon Sep 17 00:00:00 2001
From: Chris Hanson <org/chris-hanson/cph>
Date: Mon, 12 Dec 2022 02:03:25 -0800
Subject: [PATCH] Tweak mtimes of source files if git-restore-mtime available.

---
 dist/make-src-files | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/dist/make-src-files b/dist/make-src-files
index f94f9f133..e98b05fad 100755
--- 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 ()
-- 
2.47.3