diff options
author | David Allsopp <david.allsopp@metastack.com> | 2022-05-10 21:04:49 +0100 |
---|---|---|
committer | David Allsopp <david.allsopp@metastack.com> | 2022-05-12 15:41:06 +0100 |
commit | 60cabee184c342b0999c213b3c879f53485bf5f7 (patch) | |
tree | ac7ff0c49bbea02bca86fe7a5c225029845b23f3 /utils | |
parent | e295ad418b943bb2b45ff4a0a5237fda2a790cf8 (diff) | |
download | ocaml-60cabee184c342b0999c213b3c879f53485bf5f7.tar.gz |
Eliminate $(BOOT_FLEXLINK_CMD)
Diffstat (limited to 'utils')
-rw-r--r-- | utils/Makefile | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/utils/Makefile b/utils/Makefile index 3afb6468ce..158f70e262 100644 --- a/utils/Makefile +++ b/utils/Makefile @@ -19,6 +19,10 @@ ROOTDIR = .. include $(ROOTDIR)/Makefile.common +# This value should stay the same, regardless of bootstrapping, to cause +# MKEXE, MKDLL and MKMAINDLL to be written correctly. +FLEXLINK_CMD=flexlink + ifeq "$(BOOTSTRAPPING_FLEXDLL)" "false" FLEXDLL_DIR = else |