From: Chris Hanson Date: Mon, 12 Dec 2022 10:03:25 +0000 (-0800) Subject: Tweak mtimes of source files if git-restore-mtime available. X-Git-Url: https://birchwood-abbey.net/git?a=commitdiff_plain;h=2452e2d8af86577f76a3516d6db574ffb7a5e3dc;p=mit-scheme.git Tweak mtimes of source files if git-restore-mtime available. --- 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 ()