diff options
| author | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2001-09-06 09:03:05 +0000 |
|---|---|---|
| committer | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2001-09-06 09:03:05 +0000 |
| commit | 35bd1ffef7a2a778268c055d82bbee8c2af97fbf (patch) | |
| tree | 7854ce9803b304c2ba04d377425e3f66a6949711 | |
| parent | ea299bbbc1dcf8f0f8f3b18558145965391ad224 (diff) | |
propagate $(COMPILER)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3697 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -rw-r--r-- | stdlib/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/stdlib/Makefile b/stdlib/Makefile index 9a9d58823..d8020829e 100644 --- a/stdlib/Makefile +++ b/stdlib/Makefile @@ -109,7 +109,7 @@ oo.cmi: oo.mli # labelled modules require the -nolabels flag labelled.cmo: - $(MAKE) EXTRAFLAGS=-nolabels $(LABELLED:.ml=.cmo) + $(MAKE) EXTRAFLAGS=-nolabels COMPILER=$(COMPILER) $(LABELLED:.ml=.cmo) touch $@ labelled.cmx: $(MAKE) EXTRAFLAGS=-nolabels $(LABELLED:.ml=.cmx) |