From 0ff4eb208dbaf26b2b24e08e4e43549adb998e74 Mon Sep 17 00:00:00 2001 From: Alex Gaynor Date: Wed, 22 Mar 2023 08:27:36 -0400 Subject: [PATCH] also update mtimes on src/_cffi_src (#8567) --- .github/actions/mtime-fix/action.yml | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/.github/actions/mtime-fix/action.yml b/.github/actions/mtime-fix/action.yml index b7ab3b9b5..4589aece1 100644 --- a/.github/actions/mtime-fix/action.yml +++ b/.github/actions/mtime-fix/action.yml @@ -11,7 +11,7 @@ runs: echo "The git available is probably too old so checkout didn't create a real git clone, skipping mtime fix" exit 0 fi - ls -Rla src/rust/src + ls -Rla src/rust/src src/_cffi_src echo "Verifying commits are monotonic because if they're not caching gets wrecked" COMMIT_ORDER=$(git log --pretty=format:%cd --date=format-local:%Y%m%d%H%M.%S -5) SORTED_COMMIT_ORDER=$(git log --pretty=format:%cd --date=format-local:%Y%m%d%H%M.%S -5 | sort -rn) @@ -19,8 +19,8 @@ runs: echo "Commits are not monotonic, git may have changed how date formatting works" exit 1 fi - echo "Setting mtimes for rust dirs" - for f in $(git ls-files src/rust); do touch -t $(git log --pretty=format:%cd --date=format-local:%Y%m%d%H%M.%S -1 HEAD -- "$f") "$f"; done + echo "Setting mtimes for dirs" + for f in $(git ls-files src/rust src/_cffi_src); do touch -t $(git log --pretty=format:%cd --date=format-local:%Y%m%d%H%M.%S -1 HEAD -- "$f") "$f"; done echo "Done" - ls -Rla src/rust/src + ls -Rla src/rust/src src/_cffi_src shell: bash