diff options
| author | Gabriel Scherer <gabriel.scherer@gmail.com> | 2014-04-07 12:09:25 +0000 |
|---|---|---|
| committer | Gabriel Scherer <gabriel.scherer@gmail.com> | 2014-04-07 12:09:25 +0000 |
| commit | 7d51d487ef28bb359cb3c4eb996b85d84eb63c0d (patch) | |
| tree | 49256e8fd749c490d492dc17614fabc9d3774cab /tools | |
| parent | 0b161c0d341192342ca85b43fb7f9adc372f4fb1 (diff) | |
| download | ocaml-7d51d487ef28bb359cb3c4eb996b85d84eb63c0d.tar.gz | |
[minor] make tools/Makefile.shared msvc-friendly
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14547 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/Makefile.shared | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/Makefile.shared b/tools/Makefile.shared index b50cb0adde..6b33a5b047 100644 --- a/tools/Makefile.shared +++ b/tools/Makefile.shared @@ -89,7 +89,7 @@ install:: cp profiling.cmi profiling.cmo $(INSTALL_LIBDIR) installopt:: - cp profiling.cmx profiling.o $(INSTALL_LIBDIR) + cp profiling.cmx profiling.$(O) $(INSTALL_LIBDIR) clean:: rm -f ocamlprof ocamlcp ocamloptp |