diff --git a/tools/hdrck/hdrck.ml b/tools/hdrck/hdrck.ml
index 0b697998ee80717285eb6b4d3fca702022a2e081..06877ee3c01483496cc12fe7060ad7839c995ba6 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