update build flags

mbarbin · Nov 6, 2023 · 82dea75 · 82dea75
1 parent c4c7f75
commit 82dea75
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/src/dune b/src/dune
@@ -1,7 +1,7 @@
 (library
  (name fingerboard)
  (public_name fingerboard)
- (flags -w +a-4-40-41-42-44-45-66 -warn-error +a -open Base)
+ (flags :standard -w +a-4-40-41-42-44-45-66 -warn-error +a -open Base)
  (libraries base textutils.ascii_table)
  (preprocess
   (pps ppx_jane ppx_js_style -check-doc-comments)))
diff --git a/test/dune b/test/dune
@@ -1,6 +1,7 @@
 (library
  (name fingerboard_test)
  (flags
+  :standard
   -w
   +a-4-40-41-42-44-45-66
   -warn-error