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 =