Skip to content

Commit aa442e2

Browse files
clean-up unneeded flag
1 parent f56fcce commit aa442e2

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

src/unix/dune

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -191,6 +191,6 @@
191191
(flags
192192
(:include unix_c_flags.sexp)))
193193
(c_library_flags
194-
(:include unix_c_library_flags.sexp) -fPIC -pthread)
194+
(:include unix_c_library_flags.sexp))
195195
(instrumentation
196196
(backend bisect_ppx)))

0 commit comments

Comments
 (0)