From d28292cec4f4d094e678612bbc4481fbbf60c553 Mon Sep 17 00:00:00 2001
From: fgh1999 <fgh@stu.pku.edu.cn>
Date: Fri, 19 Apr 2024 16:51:47 +0000
Subject: [PATCH] Add debuginfo when using GDB in release profile

---
 osdk/src/commands/run.rs | 15 ++++++++++++++-
 1 file changed, 14 insertions(+), 1 deletion(-)

diff --git a/osdk/src/commands/run.rs b/osdk/src/commands/run.rs
index ba9841fa2..d5f5880f6 100644
--- a/osdk/src/commands/run.rs
+++ b/osdk/src/commands/run.rs
@@ -77,6 +77,20 @@ pub fn execute_run_command(config: &RunConfig) {
                 config.manifest.clone()
             }
         },
+        cargo_args: {
+            fn is_release_profile(cfg: &RunConfig) -> bool {
+                cfg.cargo_args.profile == "release" || cfg.cargo_args.release
+            }
+            if config.gdb_server_args.is_gdb_enabled && is_release_profile(config) {
+                let mut cargo_args = config.cargo_args.clone();
+                cargo_args
+                    .override_configs
+                    .push("profile.release.debug=true".to_owned());
+                cargo_args
+            } else {
+                config.cargo_args.clone()
+            }
+        },
         ..config.clone()
     };
     let _vsc_launch_file = config.gdb_server_args.vsc_launch_file.then(|| {
@@ -110,7 +124,6 @@ pub fn execute_run_command(config: &RunConfig) {
         manifest: config.manifest.clone(),
         cargo_args: config.cargo_args.clone(),
     };
-
     let bundle = create_base_and_build(
         default_bundle_directory,
         &osdk_target_directory,