diff options
author | Christophe Troestler <Christophe.Troestler@umons.ac.be> | 2015-11-27 22:30:41 +0100 |
---|---|---|
committer | Damien Doligez <damien.doligez@inria.fr> | 2016-02-10 14:46:39 +0100 |
commit | 7f6a8ae2f004ca7adeb62c8e703d436496699bd8 (patch) | |
tree | 6f4d6e9fd7e1f5ac4f3e25d8ad14ea6c5fb69410 /tools/Makefile | |
parent | 59aab8d1c278946ceb4db9ecabb78b0d0da214ad (diff) | |
download | ocaml-7f6a8ae2f004ca7adeb62c8e703d436496699bd8.tar.gz |
Protect install paths against spaces (on Windows)
Diffstat (limited to 'tools/Makefile')
-rw-r--r-- | tools/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/Makefile b/tools/Makefile index b5cc10109b..242b91def9 100644 --- a/tools/Makefile +++ b/tools/Makefile @@ -19,7 +19,7 @@ ocamlmktop: ocamlmktop.tpl ../config/Makefile chmod +x ocamlmktop install:: - cp ocamlmktop $(INSTALL_BINDIR) + cp ocamlmktop "$(INSTALL_BINDIR)" clean:: rm -f ocamlmktop |