simon/sidekick
1
0
Fork 0
mirror of https://github.com/c-cube/sidekick.git synced 2025-12-06 03:05:31 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

try to fix CI for mdx

Browse source
This commit is contained in:
Simon Cruanes 2021-07-04 00:30:03 -04:00
parent c561f6ae70
commit 57e2290151
1 changed files with 3 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
doc/mdx_runner.ml
View file

@ -16,6 +16,9 @@ let just_copy f1 f2 =
let () =
let f1 = Sys.argv.(1) in
let f2 = Sys.argv.(2) in
(* annoying changes in the typechecking output *)
if Sys.ocaml_version < "4.08" then (just_copy f1 f2; exit 0);
try
let e = Sys.command
@@ Printf.sprintf "ocaml-mdx test '%s' -o '%s'" f1 f2 in