mirror of
https://gitlab.freedesktop.org/gstreamer/gstreamer.git
synced 2024-07-02 20:55:55 +00:00
12 lines
295 B
Python
Executable file
12 lines
295 B
Python
Executable file
#!/usr/bin/env python3
|
|
|
|
import re
|
|
import sys
|
|
import subprocess
|
|
|
|
flex = sys.argv[1]
|
|
|
|
out = subprocess.check_output([flex, '--version'], universal_newlines=True,
|
|
stderr=subprocess.STDOUT, stdin=subprocess.DEVNULL)
|
|
print(re.search(r'(\d+\.\d+(\.\d+)?)', out).group())
|