mirror of
https://gitlab.freedesktop.org/gstreamer/gstreamer.git
synced 2024-12-30 04:00:37 +00:00
12 lines
295 B
Python
12 lines
295 B
Python
|
#!/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())
|