From d31d6f81c11e7d3c67004ae0e127ecf21aaab5a8 Mon Sep 17 00:00:00 2001
From: Erwan Jahier <erwan.jahier@univ-grenoble-alpes.fr>
Date: Fri, 31 Jan 2020 16:04:59 +0100
Subject: [PATCH] Chore

---
 test/my-rdbg-tuning.ml | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

diff --git a/test/my-rdbg-tuning.ml b/test/my-rdbg-tuning.ml
index 2af25aff..5154741c 100644
--- a/test/my-rdbg-tuning.ml
+++ b/test/my-rdbg-tuning.ml
@@ -436,9 +436,11 @@ let pdf_viewer =
   if Sys.command "which zathura" = 0 then "zathura" else
   if Sys.command "which xpdf" = 0 then "xpdf" else
   if Sys.command "which acroread" = 0 then "acroread" else
-  if Sys.command "which evince" = 0 then "evince" else
-    Printf.printf "Warning: no pdf viewer is found to visualize %s\n%!" dotfile
-
+  if Sys.command "which evince" = 0 then "evince" else (
+    Printf.printf "Warning: no pdf viewer is found to visualize %s\n%!" dotfile;
+    "ls"
+  )
+  
 let _ = 
   !dot_view ();
   let cmd = Printf.sprintf "%s sasa-%s.pdf&" pdf_viewer dotfile in
-- 
GitLab