Commit 056f5fd0 authored by erwan's avatar erwan
Browse files

Update: force the use of -replay and -custd when sasa is used from rdbgui4sasa

parent 2bbd5df2
......@@ -5,8 +5,9 @@ let rdbg_cmd =
let cmd = List.tl (List.map quote (Array.to_list Sys.argv)) in
let str = String.concat " " cmd in
let salut_mode = not (Str.string_match (Str.regexp ".*sasa .*\\.dot") str 0) in
let str = Str.replace_first (Str.regexp "sasa ") "sasa -custd -replay " str in
let sasa_opt = if salut_mode then "--salut" else "--sasa" in
String.concat " " ("rdbg"::sasa_opt::cmd)
String.concat " " ("rdbg"::sasa_opt::str::[])
let gui =
Printf.sprintf " --ocaml-cmd \"#use \\\"gtkgui.ml\\\";;\""
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment