From 50ef343f857180c9afcf16aad443d8a0568aa3a6 Mon Sep 17 00:00:00 2001 From: Jan Midtgaard Date: Fri, 5 Jan 2024 11:14:01 +0100 Subject: [PATCH] Disable Lin Out_channel test under FreeBSD --- src/io/lin_tests_domain.ml | 12 +++++++----- 1 file changed, 7 insertions(+), 5 deletions(-) diff --git a/src/io/lin_tests_domain.ml b/src/io/lin_tests_domain.ml index d4c372b44..3a0d317eb 100644 --- a/src/io/lin_tests_domain.ml +++ b/src/io/lin_tests_domain.ml @@ -7,11 +7,13 @@ module OC_domain = Lin_domain.Make(Lin_tests_spec_io.OCConf) let tests = IC_domain.neg_lin_test ~count:1000 ~name:"Lin In_channel test with Domain" :: - if Sys.getenv_opt "OCAML_SYSTEM" = Some "macosx" - then ( - Printf.printf "Lin Out_channel test with Domain disabled under macOS\n\n%!"; - [] - ) else [ + match Sys.getenv_opt "OCAML_SYSTEM" with + | Some "macosx" | Some "freebsd" -> + begin + Printf.printf "Lin Out_channel test with Domain disabled under macOS and FreeBSD\n\n%!"; + [] + end + | _ -> [ OC_domain.neg_lin_test ~count:5000 ~name:"Lin Out_channel test with Domain"; ]