Skip to content
Snippets Groups Projects
Commit b431f9ac authored by Loïc Correnson's avatar Loïc Correnson
Browse files

[hdrck] use diff -B -b

parent 6fdce311
No related branches found
No related tags found
No related merge requests found
...@@ -422,7 +422,7 @@ let check_spec_discrepancies ...@@ -422,7 +422,7 @@ let check_spec_discrepancies
(specs: (string, string) Hashtbl.t) (specs: (string, string) Hashtbl.t)
(headers: (string, string) Hashtbl.t) : unit = (headers: (string, string) Hashtbl.t) : unit =
let eq_header orig_file template_hdr = 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 config_file_opts orig_file template_hdr
in in
let ret = Sys.command cmd in let ret = Sys.command cmd in
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment