diff options
author | Sébastien Hinderer <Sebastien.Hinderer@inria.fr> | 2017-03-19 10:50:25 +0100 |
---|---|---|
committer | Sébastien Hinderer <Sebastien.Hinderer@inria.fr> | 2017-03-29 11:10:06 +0200 |
commit | 3564aade19a9a63d5f954eef1e724b10aa7c61b6 (patch) | |
tree | fca808e136de9ec144fd734c997f37848cd21c92 /otherlibs/Makefile | |
parent | f2d5d60376096c241fb0e9679f933750e5401cee (diff) | |
download | ocaml-3564aade19a9a63d5f954eef1e724b10aa7c61b6.tar.gz |
Introduce and use the OUTPUTEXE and OUTPUTOBJ build variables
Diffstat (limited to 'otherlibs/Makefile')
-rw-r--r-- | otherlibs/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/otherlibs/Makefile b/otherlibs/Makefile index 0e2813c955..0958d0c06a 100644 --- a/otherlibs/Makefile +++ b/otherlibs/Makefile @@ -113,4 +113,4 @@ clean:: partialclean $(CAMLOPT) -c $(COMPFLAGS) $(OPTCOMPFLAGS) $< .c.$(O): - $(CC) -c $(CFLAGS) $(CPPFLAGS) $< + $(CC) -c $(CFLAGS) $(CPPFLAGS) $(OUTPUTOBJ)$@ $< |