diff options
| author | Niklas Haas <git@haasn.xyz> | 2017-06-16 17:20:44 +0200 |
|---|---|---|
| committer | Niklas Haas <git@haasn.xyz> | 2017-06-16 17:20:44 +0200 |
| commit | a86b0ffa6b9a3c0717a337d2e5544365b6cda2ad (patch) | |
| tree | 843f345abb45ef681c25b349131a6ac8a2c834dc | |
| parent | 546ae3db4f132c25754f863605ce38f147b44136 (diff) | |
| download | mpv-a86b0ffa6b9a3c0717a337d2e5544365b6cda2ad.tar.bz2 mpv-a86b0ffa6b9a3c0717a337d2e5544365b6cda2ad.tar.xz | |
version.sh: append -dirty if the working tree contains modifications
This allows us to detect users who run mpv with custom patches.
| -rwxr-xr-x | version.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/version.sh b/version.sh index e79ad0ca89..45a529c54e 100755 --- a/version.sh +++ b/version.sh @@ -34,7 +34,7 @@ fi # or from "git describe" output git_revision=$(cat snapshot_version 2> /dev/null) test "$git_revision" || test ! -e .git || git_revision="$(git describe \ - --match "v[0-9]*" --always --tags | sed 's/^v//')" + --match "v[0-9]*" --always --tags --dirty | sed 's/^v//')" version="$git_revision" # other tarballs extract the version number from the VERSION file |