diff options
| author | Josh Matthews <josh@joshmatthews.net> | 2018-09-20 14:14:41 -0400 |
|---|---|---|
| committer | Josh Matthews <josh@joshmatthews.net> | 2018-09-20 14:14:41 -0400 |
| commit | f7516f57a7d2e631c81964b7a00627a607f31381 (patch) | |
| tree | e5984ff6bc97c2d01ddfd7ab504c59aa5773a361 /python/servo/post_build_commands.py | |
| parent | a6dbfdd29f9b3f0ce0c13adc79fad99538a9a44b (diff) | |
| download | servo-f7516f57a7d2e631c81964b7a00627a607f31381.tar.gz servo-f7516f57a7d2e631c81964b7a00627a607f31381.zip | |
Enable use of RUST_LOG with mach run --android.
Diffstat (limited to 'python/servo/post_build_commands.py')
| -rw-r--r-- | python/servo/post_build_commands.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/python/servo/post_build_commands.py b/python/servo/post_build_commands.py index 5b29015e8ff..656e230c732 100644 --- a/python/servo/post_build_commands.py +++ b/python/servo/post_build_commands.py @@ -99,6 +99,9 @@ class PostBuildCommands(CommandBase): ] json_params = shell_quote(json.dumps(params)) extra = "-e servoargs " + json_params + rust_log = env.get("RUST_LOG", None) + if rust_log: + extra += " -e servolog " + rust_log script += [ "am start " + extra + " com.mozilla.servo/com.mozilla.servo.MainActivity", "sleep 0.5", |