From 10286098c42813c20bdaa3edd754c490ad16d223 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Thu, 17 Feb 2022 00:17:37 -0500 Subject: [PATCH] fix qtest generation we need to avoid files named foo.pp.ml as they're not handled by qtest the right way (computes the wrong module name). --- qtest/make.ml | 3 +++ 1 file changed, 3 insertions(+) diff --git a/qtest/make.ml b/qtest/make.ml index bb4cb540..0f695470 100644 --- a/qtest/make.ml +++ b/qtest/make.ml @@ -18,10 +18,13 @@ 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:"Labels.ml" file || + is_suffix ~sub:".pp.ml" file || + is_suffix ~sub:".pp.mli" file || is_suffix ~sub:"containers.ml" file || is_suffix ~sub:"_top.ml" file || is_suffix ~sub:"mkflags.ml" file || is_suffix ~sub:"mkshims.ml" file || + is_suffix ~sub:"cpp.ml" file || is_suffix ~sub:"unlabel.ml" file || is_suffix ~sub:"check_labelled_mods.ml" file || is_suffix ~sub:"test_random.ml" file ||