From b431f9acf6517ea6ff404e9896d499a3ad3978a8 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Loi=CC=88c=20Correnson?= <loic.correnson@cea.fr>
Date: Tue, 14 May 2024 16:08:00 +0200
Subject: [PATCH] [hdrck] use diff -B -b
---
tools/hdrck/hdrck.ml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/tools/hdrck/hdrck.ml b/tools/hdrck/hdrck.ml
index 0b697998ee8..06877ee3c01 100644
--- a/tools/hdrck/hdrck.ml
+++ b/tools/hdrck/hdrck.ml
@@ -422,7 +422,7 @@ let check_spec_discrepancies
(specs: (string, string) Hashtbl.t)
(headers: (string, string) Hashtbl.t) : unit =
let eq_header orig_file template_hdr =
- let cmd = Format.sprintf "headache -c %s -e %s | diff -B -q - %s > /dev/null"
+ let cmd = Format.sprintf "headache -c %s -e %s | diff -b -B -q - %s > /dev/null"
config_file_opts orig_file template_hdr
in
let ret = Sys.command cmd in
--
GitLab