tree 522b9693222249919ab945265556a1a02e0b7d91
parent 2004b7c24dbc4a3ff3d333df9456e1e1223e9c8b
author Benjamin Gilbert <bgilbert@backtick.net> 1714205201 -0500
committer Eli Schwartz <eschwartz93@gmail.com> 1714269521 -0400

mdist: gracefully handle stale Git index

Running `touch` on a tracked file in Git, to update its timestamp, and
then running `meson dist` would cause dist to fail:

    ERROR: Repository has uncommitted changes that will not be included in the dist tarball
    Use --allow-dirty to ignore the warning and proceed anyway

Unlike `git status` and `git diff`, `git diff-index` doesn't refresh the
index before comparing, so stat changes are assumed to imply content
changes.  Run `git update-index -q --refresh` first to refresh the index.

Fixes: #12985