12 lines
445 B
Text
12 lines
445 B
Text
$NetBSD: patch-src_dune,v 1.1 2019/03/19 10:48:15 jaapb Exp $
|
|
|
|
Removed unknown parameters
|
|
--- src/dune.orig 2019-02-13 10:33:20.000000000 +0000
|
|
+++ src/dune
|
|
@@ -2,4 +2,4 @@
|
|
(libraries async_kernel core core.nano_mutex core.squeue thread_pool
|
|
thread_safe_ivar core.uuid)
|
|
(c_names dump_core_on_job_delay_stubs)
|
|
- (preprocess (pps ppx_jane -annotated-ignores -check-doc-comments)))
|
|
\ No newline at end of file
|
|
+ (preprocess (pps ppx_jane)))
|