mirror of
https://github.com/servo/servo.git
synced 2025-07-02 21:13:39 +01:00
Compare gstreamer version via pkg-config --modversion
This commit is contained in:
parent
452d2dcdef
commit
181efc0d9c
1 changed files with 1 additions and 1 deletions
|
@ -46,7 +46,7 @@ def install_trusty_deps(force):
|
||||||
|
|
||||||
|
|
||||||
def check_gstreamer_lib():
|
def check_gstreamer_lib():
|
||||||
return subprocess.call(["pkg-config", "gstreamer-1.0 >= 1.12"],
|
return subprocess.call(["pkg-config", "--atleast-version=1.12", "gstreamer-1.0"],
|
||||||
stdout=PIPE, stderr=PIPE) == 0
|
stdout=PIPE, stderr=PIPE) == 0
|
||||||
|
|
||||||
|
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue