Skip to content

Commit a12309b

Browse files
committed
Rocksdb/dune: treat warnings as errors
1 parent f9e17f2 commit a12309b

File tree

1 file changed

+4
-1
lines changed

1 file changed

+4
-1
lines changed

src/lib/rocksdb/dune

Lines changed: 4 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,10 @@
22
(name rocksdb)
33
(public_name rocksdb)
44
(library_flags -linkall)
5-
(flags -open Core_kernel)
5+
(flags
6+
(:standard -warn-error +a)
7+
-open
8+
Core_kernel)
69
(libraries
710
;; opam libraries
811
async

0 commit comments

Comments
 (0)