diff options
| -rw-r--r-- | tools/Makefile | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/tools/Makefile b/tools/Makefile index eeb2a9f0b..6ac4ca5a7 100644 --- a/tools/Makefile +++ b/tools/Makefile @@ -76,10 +76,10 @@ clean:: # To help building mixed-mode libraries (Caml + C) ocamlmklib: ocamlmklib.tpl ../config/Makefile - sed -e 's|%%BINDIR%%|$(BINDIR)|' \ - -e 's|%%SUPPORTS_SHARED_LIBRARIES%%|$(SUPPORTS_SHARED_LIBRARIES)|' \ - -e 's|%%MKSHAREDLIB%%|$(MKSHAREDLIB)|' \ - -e 's|%%RANLIB%%|$(RANLIB)|' \ + sed -e "s|%%BINDIR%%|$(BINDIR)|" \ + -e "s|%%SUPPORTS_SHARED_LIBRARIES%%|$(SUPPORTS_SHARED_LIBRARIES)|" \ + -e "s|%%MKSHAREDLIB%%|$(MKSHAREDLIB)|" \ + -e "s|%%RANLIB%%|$(RANLIB)|" \ ocamlmklib.tpl > ocamlmklib chmod +x ocamlmklib |