7bf0d32e5e
This version mostly includes minor improvements and bugfixes. See the changelog for more details.
15 lines
590 B
Text
15 lines
590 B
Text
$NetBSD: patch-src_dune,v 1.2 2020/01/16 15:31:15 jaapb Exp $
|
|
|
|
Remove unknown argument
|
|
|
|
--- src/dune.orig 2019-11-18 14:56:06.000000000 +0000
|
|
+++ src/dune
|
|
@@ -11,5 +11,5 @@
|
|
(c_library_flags (:include rt-flags))
|
|
(c_names bigstring_stubs md5_stubs array_stubs gc_stubs time_ns_stubs
|
|
heap_block_stubs)
|
|
- (preprocess (pps ppx_jane -check-doc-comments)) (preprocessor_deps config.h)
|
|
- (js_of_ocaml (javascript_files strftime.js runtime.js)))
|
|
\ No newline at end of file
|
|
+ (preprocess (pps ppx_jane)) (preprocessor_deps config.h)
|
|
+ (js_of_ocaml (javascript_files strftime.js runtime.js)))
|