CatalaLang/catala
1
1
Fork 0
mirror of https://github.com/CatalaLang/catala.git synced 2024-11-08 07:51:43 +03:00
Code Issues Projects Releases Wiki Activity

nobanner

Browse Source
This commit is contained in:
adelaett 2023-04-06 13:50:04 +02:00
parent 7ebfb2e66a
commit ed25bb2213
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
build_system/clerk_driver.ml
View File

@ -338,7 +338,7 @@ let pipe_diff_cmd =
Var.tested_file;
Lit "/dev/stdin";
]
else Seq [Lit "| colordiff --nobanner -u -b"; Var.tested_file; Lit "-"]
else Seq [Lit "| colordiff -u -b"; Var.tested_file; Lit "-"]
let inline_test_rule catala_exe catala_opts =
let open Nj.Expr in