diff options
| author | Fabrice Le Fessant <Fabrice.Le_fessant@inria.fr> | 2012-01-17 21:47:36 +0000 |
|---|---|---|
| committer | Fabrice Le Fessant <Fabrice.Le_fessant@inria.fr> | 2012-01-17 21:47:36 +0000 |
| commit | 28c7bcd42df75504b27f11f2fa9d620f9fbb405b (patch) | |
| tree | aab93d19a9973a0af19437a1bcca04b5e9ad3433 /otherlibs | |
| parent | 6f9f5cdfdb936a7c064787d4fbc6fbcb9ea1dc0a (diff) | |
| download | ocaml-28c7bcd42df75504b27f11f2fa9d620f9fbb405b.tar.gz | |
Fix PR#5475
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12032 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'otherlibs')
| -rw-r--r-- | otherlibs/labltk/lib/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/otherlibs/labltk/lib/Makefile b/otherlibs/labltk/lib/Makefile index 6be9af0560..35ba8ff680 100644 --- a/otherlibs/labltk/lib/Makefile +++ b/otherlibs/labltk/lib/Makefile @@ -71,7 +71,7 @@ $(LIBNAME)top$(EXE) : $(TOPDEPS) $(LIBNAME).cma ../support/lib$(LIBNAME).$(A) $(LIBNAME): Makefile $(TOPDIR)/config/Makefile @echo Generate $@ @echo "#!/bin/sh" > $@ - @echo 'exec $(INSTALLDIR)/$(LIBNAME)top$(EXE) -I $(INSTALLDIR) $$*' >> $@ + @echo 'exec $(INSTALLDIR)/$(LIBNAME)top$(EXE) -I $(INSTALLDIR) "$$@"' >> $@ install-script: $(LIBNAME) cp $(LIBNAME) $(BINDIR) |