mirror of
https://github.com/servo/servo.git
synced 2025-08-04 05:00:08 +01:00
Don't generate gstreamer data when dummy media backend enabled. (#35056)
Signed-off-by: Josh Matthews <josh@joshmatthews.net>
This commit is contained in:
parent
90cbb8abdb
commit
efd126f27d
1 changed files with 14 additions and 12 deletions
|
@ -7,6 +7,7 @@ use std::process::Command;
|
||||||
use std::{env, fs};
|
use std::{env, fs};
|
||||||
|
|
||||||
fn main() {
|
fn main() {
|
||||||
|
if cfg!(feature = "media-gstreamer") {
|
||||||
println!("cargo:rerun-if-changed=../../python/servo/gstreamer.py");
|
println!("cargo:rerun-if-changed=../../python/servo/gstreamer.py");
|
||||||
|
|
||||||
let output = Command::new(find_python())
|
let output = Command::new(find_python())
|
||||||
|
@ -22,6 +23,7 @@ fn main() {
|
||||||
let path = Path::new(&env::var_os("OUT_DIR").unwrap()).join("gstreamer_plugins.rs");
|
let path = Path::new(&env::var_os("OUT_DIR").unwrap()).join("gstreamer_plugins.rs");
|
||||||
fs::write(path, output.stdout).unwrap();
|
fs::write(path, output.stdout).unwrap();
|
||||||
}
|
}
|
||||||
|
}
|
||||||
|
|
||||||
/// Tries to find a suitable python
|
/// Tries to find a suitable python
|
||||||
///
|
///
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue