diff options
author | Nicolás Ojeda Bär <n.oje.bar@gmail.com> | 2023-05-15 17:25:38 +0200 |
---|---|---|
committer | Nicolás Ojeda Bär <n.oje.bar@gmail.com> | 2023-05-15 17:26:02 +0200 |
commit | 3358a2eb61128fff9d6f28466d7d50c1bf1ee24d (patch) | |
tree | 1a7ff9cb2efd8dfa6ed3fae9e0207981b418c376 | |
parent | 780d018f5593d231ba309fecb6a7dd775ecf7bbe (diff) | |
download | ocaml-3358a2eb61128fff9d6f28466d7d50c1bf1ee24d.tar.gz |
Fix check-typo
-rw-r--r-- | runtime/dune | 9 |
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 .. |