summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorNicolás Ojeda Bär <n.oje.bar@gmail.com>2023-05-15 17:25:38 +0200
committerNicolás Ojeda Bär <n.oje.bar@gmail.com>2023-05-15 17:26:02 +0200
commit3358a2eb61128fff9d6f28466d7d50c1bf1ee24d (patch)
tree1a7ff9cb2efd8dfa6ed3fae9e0207981b418c376
parent780d018f5593d231ba309fecb6a7dd775ecf7bbe (diff)
downloadocaml-3358a2eb61128fff9d6f28466d7d50c1bf1ee24d.tar.gz
Fix check-typo
-rw-r--r--runtime/dune9
1 files changed, 6 insertions, 3 deletions
diff --git a/runtime/dune b/runtime/dune
index a4d58b3e26..9880c4fb4e 100644
--- a/runtime/dune
+++ b/runtime/dune
@@ -17,9 +17,12 @@
(mode fallback)
(deps
; matches the line structure of files in gen_primitives.sh
- alloc.c array.c compare.c extern.c floats.c gc_ctrl.c hash.c intern.c interp.c ints.c io.c
- lexing.c md5.c meta.c memprof.c obj.c parsing.c signals.c str.c sys.c callback.c weak.c
- finalise.c domain.c platform.c fiber.c memory.c startup_aux.c runtime_events.c sync.c
+ alloc.c array.c compare.c extern.c floats.c gc_ctrl.c hash.c intern.c
+ interp.c ints.c io.c
+ lexing.c md5.c meta.c memprof.c obj.c parsing.c signals.c str.c sys.c
+ callback.c weak.c
+ finalise.c domain.c platform.c fiber.c memory.c startup_aux.c
+ runtime_events.c sync.c
dynlink.c backtrace_byt.c backtrace.c afl.c bigarray.c prng.c)
(action
(chdir ..