Skip to content

Commit 373d067

Browse files
authored
flambda-backend: Install dynlink.cmt (#1999)
1 parent 6f19fa6 commit 373d067

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

otherlibs/dynlink/dune

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -445,6 +445,7 @@
445445
(install
446446
(files
447447
(.dynlink_internal.objs/byte/dynlink.cmti as dynlink/dynlink.cmti)
448+
(.dynlink_internal.objs/byte/dynlink.cmt as dynlink/dynlink.cmt)
448449
(.dynlink_internal_common.objs/native/dynlink_common.cmx
449450
as
450451
dynlink/dynlink_common.cmx)

0 commit comments

Comments
 (0)