From 0867583209e25f5b50e12ee19f47b5e0ef6d70db Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Fri, 11 Oct 2019 16:45:39 -0500 Subject: [PATCH] test: fix qtest generation to ignore the stdlib's fun module --- qtest/make.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/qtest/make.ml b/qtest/make.ml index 9398769c..d7c812f9 100644 --- a/qtest/make.ml +++ b/qtest/make.ml @@ -1,4 +1,3 @@ - let str_sub ?(offset=0) ~sub:s' s = let open String in let rec aux i = @@ -17,6 +16,7 @@ let is_code file = is_suffix ~sub:".ml" file || is_suffix ~sub:".mli" file let do_not_test file = assert (not (is_suffix ~sub:"make.ml" file)); + str_sub ~sub:"stdlib/fun.ml" file || is_suffix ~sub:"containers.ml" file || is_suffix ~sub:"containers_top.ml" file || is_suffix ~sub:"mkflags.ml" file ||