diff options
| author | Alan Jeffrey <ajeffrey@mozilla.com> | 2019-05-17 14:50:08 -0500 |
|---|---|---|
| committer | Tuncer Ayaz <tuncer.ayaz@gmail.com> | 2019-11-21 20:08:01 +0000 |
| commit | 4e3f164f7bd020b1aed453ec11586cafd84e1a5d (patch) | |
| tree | 69cdf3c8171c965b4c867ab74fd4cce4efc9d5d8 /python/servo/command_base.py | |
| parent | 91b612f8dfd5b97f7f89e96f2412f2a14cab373e (diff) | |
| download | servo-4e3f164f7bd020b1aed453ec11586cafd84e1a5d.tar.gz servo-4e3f164f7bd020b1aed453ec11586cafd84e1a5d.zip | |
Allow mach build to explicitly set the media stack
You can select the media backend by building as follows:
$ ./mach build -d --media-stack=dummy
or
$ ./mach build -d --media-stack=gstreamer
Diffstat (limited to 'python/servo/command_base.py')
0 files changed, 0 insertions, 0 deletions