From fb7c4a120807805a8abf59c9bc022cd7bceda857 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Wed, 27 Apr 2022 22:44:31 -0400 Subject: [PATCH] enable qtest for resp2 --- qtest/dune | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/qtest/dune b/qtest/dune index f55c6a09..6d37dafc 100644 --- a/qtest/dune +++ b/qtest/dune @@ -7,7 +7,7 @@ (rule (targets run_qtest.ml) (deps ./make.exe (source_tree ../src)) - (action (run ./make.exe -target %{targets} ../src/core ../src/unix/))) + (action (run ./make.exe -target %{targets} ../src/core ../src/unix/ ../src/resp2))) (executable (name run_qtest) @@ -15,7 +15,7 @@ (modules run_qtest) ; disable some warnings in qtests (flags :standard -warn-error -a -w -3-33-35-27-39-50) - (libraries iter gen qcheck containers containers.unix unix uutf threads)) + (libraries iter gen qcheck containers containers.resp2 containers.unix unix uutf threads)) (rule (alias runtest)