Make patdiff show refined diffs

Refined diffs are the whole point of patdiff! Signed-off-by: Jesse Haber-Kucharsky <jesse@haber-kucharsky.com>
ocaml · Feb 18, 2021 · 4b296fa · 4b296fa
1 parent 0831f39
commit 4b296fa
Showing 1 changed file with 5 additions and 9 deletions.
diff --git a/src/dune_engine/print_diff.ml b/src/dune_engine/print_diff.ml
@@ -89,16 +89,12 @@ let print ?(skip_trailing_cr = Sys.win32) path1 path2 =
       | Some prog ->
         let* () =
           Process.run ~dir ~env:Env.initial Strict prog
-            [ "-keep-whitespace"
-            ; "-location-style"
-            ; "omake"
-            ; ( if Lazy.force Ansi_color.stderr_supports_color then
-                "-unrefined"
+            ( [ "-keep-whitespace"; "-location-style"; "omake" ]
+            @ ( if Lazy.force Ansi_color.stderr_supports_color then
+                []
               else
-                "-ascii" )
-            ; file1
-            ; file2
-            ]
+                [ "-ascii" ] )
+            @ [ file1; file2 ] )
         in
         (* Use "diff" if "patdiff" reported no differences *)
         normal_diff () )