diff options
| author | Patrick Walton <pcwalton@mimiga.net> | 2019-10-15 12:57:00 -0500 |
|---|---|---|
| committer | Alan Jeffrey <ajeffrey@mozilla.com> | 2019-11-01 08:47:11 -0500 |
| commit | a358bca7667a2da42024aca4ef619dad6d812862 (patch) | |
| tree | acf2cc228afdf6875931d546cc08ec29dfb05362 /python/servo/command_base.py | |
| parent | 48d918dcdead5fcf38dbda1dfc0d0ca8284108c2 (diff) | |
| download | servo-a358bca7667a2da42024aca4ef619dad6d812862.tar.gz servo-a358bca7667a2da42024aca4ef619dad6d812862.zip | |
Use surfman for managing GL surfaces
Co-authored-by: Alan Jeffrey <ajeffrey@mozilla.com>
Co-authored-by: Zakor Gyula <gyula.zakor@h-lab.eu>
Co-authored-by: Josh Matthews <josh@joshmatthews.net>
Diffstat (limited to 'python/servo/command_base.py')
| -rw-r--r-- | python/servo/command_base.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/python/servo/command_base.py b/python/servo/command_base.py index 3b289e62491..2a82ec51612 100644 --- a/python/servo/command_base.py +++ b/python/servo/command_base.py @@ -890,7 +890,7 @@ install them, let us know by filing a bug!") features.append("native-bluetooth") if uwp: features.append("canvas2d-raqote") - features.append("no_wgl") + features.append("no-wgl") features.append("uwp") else: # Non-UWP builds provide their own libEGL via mozangle. @@ -907,7 +907,7 @@ install them, let us know by filing a bug!") env['RUSTFLAGS'] = env.get('RUSTFLAGS', "") + " -C force-frame-pointers=yes" features.append("profilemozjs") if without_wgl: - features.append("no_wgl") + features.append("no-wgl") if self.config["build"]["webgl-backtrace"]: features.append("webgl-backtrace") if self.config["build"]["dom-backtrace"]: |