From 3358a2eb61128fff9d6f28466d7d50c1bf1ee24d Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Nicol=C3=A1s=20Ojeda=20B=C3=A4r?= Date: Mon, 15 May 2023 17:25:38 +0200 Subject: Fix check-typo --- runtime/dune | 9 ++++++--- 1 file 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 .. -- cgit v1.2.1