From 95943b673d89184df78dc18bd44f79da8411d610 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Tue, 31 Mar 2020 14:06:37 +0200
Subject: [PATCH] [ptests] slightly more visible message when file is missing
---
ptests/ptests.ml | 8 ++++----
1 file changed, 4 insertions(+), 4 deletions(-)
diff --git a/ptests/ptests.ml b/ptests/ptests.ml
index 2b8a22fe7c6..9318f4ebd96 100644
--- a/ptests/ptests.ml
+++ b/ptests/ptests.ml
@@ -1480,12 +1480,12 @@ let diff_check_exist old_file new_file =
if Sys.file_exists new_file then begin
!do_diffs ^ " " ^ old_file ^ " " ^ new_file
end else begin
- "echo \"" ^ new_file ^ " does not exist. Showing " ^ old_file ^ "\";" ^
- " cat " ^ old_file
+ "echo \"+++ " ^ new_file ^ " does not exist. Showing " ^
+ old_file ^ "\";" ^ " cat " ^ old_file
end
end else begin
- "echo \"" ^ old_file ^ " does not exist. Showing " ^ new_file ^ "\";" ^
- " cat " ^ new_file
+ "echo \"--- " ^ old_file ^ " does not exist. Showing " ^
+ new_file ^ "\";" ^ " cat " ^ new_file
end
let do_diff = function
--
GitLab