Skip to content

Commit 46f1b16

Browse files
authored
flambda-backend: Remove a stray character from dynlink Makefile (#1090)
1 parent e515442 commit 46f1b16

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

otherlibs/dynlink/Makefile

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -254,7 +254,7 @@ ifeq "$(INSTALL_SOURCE_ARTIFACTS)" "true"
254254
"$(INSTALL_LIBDIR_DYNLINK)"
255255
endif
256256

257-
installopt:g
257+
installopt:
258258
ifeq "$(strip $(NATDYNLINK))" "true"
259259
$(INSTALL_DATA) \
260260
$(NATOBJS) dynlink.cmxa dynlink.$(A) \

0 commit comments

Comments
 (0)