From 93c0a9af0d34ffe83eea3b86cb177767047a0888 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Sat, 3 Apr 2021 17:01:46 -0400 Subject: [PATCH] fix qtest generation --- qtest/make.ml | 2 ++ 1 file changed, 2 insertions(+) diff --git a/qtest/make.ml b/qtest/make.ml index 15cada1c..6e6eb12e 100644 --- a/qtest/make.ml +++ b/qtest/make.ml @@ -24,6 +24,8 @@ let do_not_test file = is_suffix ~sub:"mkshims.ml" file || is_suffix ~sub:"unlabel.ml" file || is_suffix ~sub:"check_labelled_mods.ml" file || + is_suffix ~sub:"test_random.ml" file || + is_suffix ~sub:"test_hash.ml" file || is_suffix ~sub:"utop.ml" file let prefix = "src"