Add --args to gdb when -p gdb is used

2024-12-21 19:13:29 +01:00 · 2024-09-27 14:15:48 +02:00 · 2024-09-27 14:15:48 +02:00 · 7683786d11
commit 7683786d11
parent 775cfa66d7
1 changed files with 1 additions and 0 deletions
--- a/ocaml/qp_run.ml
+++ b/ocaml/qp_run.ml
@ -132,6 +132,7 @@ let run slave ?prefix exe ezfio_file =
  (** Run executable *)
  let prefix =
    match prefix with
+    | Some "gdb" -> "gdb --args "
    | Some x -> x^" "
    | None -> ""
  and exe =