diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 2001-11-27 12:58:41 +0000 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 2001-11-27 12:58:41 +0000 |
commit | 07e82db16f8b358e85f0ef10667e23536257666c (patch) | |
tree | 07de8c83605380b930562a0bd7c515bc058ee773 /stdlib/Makefile.nt | |
parent | 13624485981022db9f0444bdd0a6902918d7dd15 (diff) | |
download | ocaml-07e82db16f8b358e85f0ef10667e23536257666c.tar.gz |
Probleme de bootstrap sur les modules labelises
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4049 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
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) |