commit 72d815a0bc302880e5e2cf23a7e788d665a4b841
author Rob Tsuk <robtsuk@google.com> Thu Jul 19 11:32:49 2018 -0700
committer Rob Tsuk <robtsuk@google.com> Thu Jul 19 11:32:49 2018 -0700
tree ca24b67c39ef6eacc3dab75c8d69589f6103ede7
parent dfb7d35b9bdf2f7cd2d1c83a5a120c2418cfe17f

Pass the debug-os option to the runner

Change-Id: I1d7dcdc1f8028343986895970f4daecd12c255a5

src/lib.rs

diff --git a/src/lib.rs b/src/lib.rs
index 328e28d..b254c29 100644
--- a/src/lib.rs
+++ b/src/lib.rs
@@ -347,6 +347,10 @@
         runner_args.push("-v");
     }
 
+    if !target_options.release_os {
+        runner_args.push("--debug-os");
+    }
+
     if let Some(device_name) = target_options.device_name {
         runner_args.push("--device-name");
         runner_args.push(device_name);