Also restore index for check

ia0 · Jun 22, 2022 · 7d41443 · 7d41443
1 parent 195ac4a
commit 7d41443
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/maintainers/patches b/maintainers/patches
@@ -153,6 +153,7 @@ check() {
     local root="$(get_root "${module}")"
     ( set -e
       cd third_party/"${module}"
+      git commit --allow-empty -qmi
       git add .
       git commit --allow-empty -qmx
       local top="$(get_head)"
@@ -163,6 +164,7 @@ check() {
       local r; if git diff "${top}" --quiet; then r=0; else r=1; fi
       git checkout -q "${top}"
       git reset -q HEAD~
+      git reset -q --soft HEAD~
       [[ "${r}" -eq 0 ]] \
         || fail "The ${module} submodule differs from its patches."
     )