summaryrefslogtreecommitdiff
path: root/tests/test_runner/dune
diff options
context:
space:
mode:
authorNadrieril2024-05-23 17:01:03 +0200
committerNadrieril2024-05-24 16:11:59 +0200
commit7935e74a9cedd93e885ab546d5513ea6c31db5ad (patch)
tree6f231079c905423479b4a63354c2a2e124843059 /tests/test_runner/dune
parent24fc188af7032b8119cb7504965b82216e2bbf6b (diff)
runner: Strongly typed Backend enum
Diffstat (limited to 'tests/test_runner/dune')
-rw-r--r--tests/test_runner/dune6
1 files changed, 6 insertions, 0 deletions
diff --git a/tests/test_runner/dune b/tests/test_runner/dune
index 7caf661f..65b0c5fe 100644
--- a/tests/test_runner/dune
+++ b/tests/test_runner/dune
@@ -1,4 +1,10 @@
(executable
(public_name test_runner)
(libraries core_unix.sys_unix unix)
+ (preprocess
+ (pps ppx_deriving.show ppx_deriving.ord ppx_sexp_conv))
(name run_test))
+
+(env
+ (dev
+ (flags :standard -warn-error -5@8-11-14-32-33-20-21-26-27-39)))