diff options
Diffstat (limited to 'python/servo/post_build_commands.py')
| -rw-r--r-- | python/servo/post_build_commands.py | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/python/servo/post_build_commands.py b/python/servo/post_build_commands.py index 733ec665cd6..0ce67a972cf 100644 --- a/python/servo/post_build_commands.py +++ b/python/servo/post_build_commands.py @@ -111,6 +111,10 @@ class PostBuildCommands(CommandBase): # Convert to a relative path to avoid mingw -> Windows path conversions browserhtml_path = path.relpath(browserhtml_path, os.getcwd()) + if not is_windows(): + # multiprocess + sandbox + args = args + ['-M', '-S'] + args = args + ['-w', '--pref', 'dom.mozbrowser.enabled', '--pref', 'dom.forcetouch.enabled', |