From 968edffc03d625c7e5af36825b820854bc91ebda Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Thu, 1 Feb 2018 09:22:41 -0600 Subject: [PATCH] fix --- qtest/make.ml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/qtest/make.ml b/qtest/make.ml index 22c8a5da..300029fa 100644 --- a/qtest/make.ml +++ b/qtest/make.ml @@ -20,7 +20,8 @@ let do_not_test file = str_sub ~sub:"Label" file || is_suffix ~sub:"containers.ml" file || is_suffix ~sub:"containers_top.ml" file || - is_suffix ~sub:"mkflags.ml" file + is_suffix ~sub:"mkflags.ml" file || + is_suffix ~sub:"utop.ml" file let prefix = "src" let dirs = List.map (fun s-> Filename.concat prefix s)