From 34510661cf403ed589c96f623d14e2dcdda55bcf Mon Sep 17 00:00:00 2001
From: Erwan Jahier <erwan.jahier@univ-grenoble-alpes.fr>
Date: Wed, 24 May 2023 14:27:19 +0200
Subject: [PATCH] fix: use the new rdbg-session files naming convention in
rdbgui4sasa
---
tools/rdbgui4sasa/rdbgui.ml | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/tools/rdbgui4sasa/rdbgui.ml b/tools/rdbgui4sasa/rdbgui.ml
index 246fcaf2..269bbc58 100644
--- a/tools/rdbgui4sasa/rdbgui.ml
+++ b/tools/rdbgui4sasa/rdbgui.ml
@@ -16,8 +16,8 @@ let rdbg_cmd =
String.concat " " ("rdbg"::sasa_opt::str::[])
let gui =
- Printf.sprintf " --ocaml-cmd \"#use \\\"gtkgui.ml\\\";;\""
-
+ Printf.sprintf " --ocaml-cmd \"#use \\\"gtkgui.ml\\\";;\""
+
let welcome () =
Printf.printf "rdbgui4sasa is a GUI wrapper around rdbg when used with sasa\n";
@@ -30,7 +30,7 @@ let welcome () =
let _ =
let n = Array.length Sys.argv in
welcome ();
- if n = 1 && Mypervasives.ls "rdbg-session" "ml" = [] then exit 0;
+ if n = 1 && Mypervasives.ls ".rdbg-session" "ml" = [] then exit 0;
let cmd = rdbg_cmd ^ gui in
Printf.printf "%s\n%!" cmd;
Sys.command cmd
--
GitLab