Activate ppxflag in src/ too

mbarbin · Jul 25, 2024 · d673504 · d673504
1 parent 6a0cbb9
commit d673504
Showing 1 changed file with 6 additions and 1 deletion.
diff --git a/src/dune b/src/dune
@@ -8,4 +8,9 @@
  (lint
   (pps ppx_js_style -check-doc-comments))
  (preprocess
-  (pps ppx_compare ppx_hash ppx_sexp_conv ppx_sexp_value)))
+  (pps
+   -unused-code-warnings=force
+   ppx_compare
+   ppx_hash
+   ppx_sexp_conv
+   ppx_sexp_value)))