diff options
Diffstat (limited to 'stdlib/Makefile.nt')
| -rw-r--r-- | stdlib/Makefile.nt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/stdlib/Makefile.nt b/stdlib/Makefile.nt index 3940da9991..a9637602f7 100644 --- a/stdlib/Makefile.nt +++ b/stdlib/Makefile.nt @@ -71,7 +71,7 @@ oo.cmi: oo.mli # labelled modules require the -nolabels flag labelled.cmo: - $(MAKEREC) EXTRAFLAGS=-nolabels COMPILER=$(COMPILER) $(LABELLED:.ml=.cmo) + $(MAKEREC) EXTRAFLAGS=-nolabels RUNTIME=$(RUNTIME) COMPILER=$(COMPILER) $(LABELLED:.ml=.cmo) touch $@ labelled.cmx: $(MAKEREC) EXTRAFLAGS=-nolabels $(LABELLED:.ml=.cmx) |