diff options
author | Kacper Michajłow <kasper93@gmail.com> | 2023-01-17 01:17:04 +0100 |
---|---|---|
committer | Dudemanguy <random342@airmail.cc> | 2023-01-28 01:03:12 +0000 |
commit | 75e41478cc954e3a2c445d77593247ee71380b6f (patch) | |
tree | a51b52b3118201649aa75ddafbeb50bb7e8a088a /version.py | |
parent | bc1af592db53f8b80256a75ebce4cc1da8c1d601 (diff) | |
download | mpv-75e41478cc954e3a2c445d77593247ee71380b6f.tar.bz2 mpv-75e41478cc954e3a2c445d77593247ee71380b6f.tar.xz |
waf: migrate to version.py
Fixes https://github.com/mpv-player/mpv-build/issues/204
Diffstat (limited to 'version.py')
-rwxr-xr-x | version.py | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/version.py b/version.py index e90394dfa1..cec74c252c 100755 --- a/version.py +++ b/version.py @@ -6,15 +6,16 @@ import time from datetime import datetime,timezone from shutil import which -from subprocess import check_output +from subprocess import check_output, DEVNULL srcdir = os.path.dirname(os.path.abspath(sys.argv[0])) git_dir = os.path.join(srcdir, ".git") git = which('git') if git and os.path.exists(git_dir): + # stdin is set to DEVNULL to workaround waf preforking issues version = check_output([git, "-C", srcdir, "describe", "--always", "--tags", - "--dirty"], encoding="UTF-8") + "--dirty"], stdin=DEVNULL, encoding="UTF-8") version = version[1:].strip() else: version_path = os.path.join(srcdir, "VERSION") |