From c0df7e0a9a64e38b60cf5d494ac2bfe47bb670af Mon Sep 17 00:00:00 2001
From: Kunal Mohan <kunalmohan99@gmail.com>
Date: Thu, 2 Jul 2020 20:15:13 +0530
Subject: [PATCH] Fix Gstreamer undefined symbol error

---
 python/servo/post_build_commands.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/python/servo/post_build_commands.py b/python/servo/post_build_commands.py
index 98fadae15c7..2e69c6ca917 100644
--- a/python/servo/post_build_commands.py
+++ b/python/servo/post_build_commands.py
@@ -79,6 +79,7 @@ class PostBuildCommands(CommandBase):
         help="Command-line arguments to be passed through to Servo")
     def run(self, params, release=False, dev=False, android=None, debug=False, debugger=None,
             headless=False, software=False, bin=None, emulator=False, usb=False, nightly=None):
+        self.set_run_env(android is not None)
         env = self.build_env()
         env["RUST_BACKTRACE"] = "1"