From 7683786d11846fa9f337e04e7d1197d87b012cfd Mon Sep 17 00:00:00 2001 From: Anthony Scemama Date: Fri, 27 Sep 2024 14:15:48 +0200 Subject: [PATCH] Add --args to gdb when -p gdb is used --- ocaml/qp_run.ml | 1 + 1 file changed, 1 insertion(+) diff --git a/ocaml/qp_run.ml b/ocaml/qp_run.ml index 0cb862ae..bb886143 100644 --- 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 =