diff options
| author | Damien Doligez <damien.doligez@inria.fr> | 2016-03-02 17:07:33 +0100 |
|---|---|---|
| committer | Jacques Garrigue <garrigue@math.nagoya-u.ac.jp> | 2016-03-03 10:01:27 +0900 |
| commit | d3d30f3db5b0c5e1f21d58740268cb4facc06455 (patch) | |
| tree | 0833860dde3eef5bdcb5deb62fd0dbf2640d5900 /configure | |
| parent | 1c003afb9a23172d2876f21c6b7ee0c20088c23d (diff) | |
| download | ocaml-d3d30f3db5b0c5e1f21d58740268cb4facc06455.tar.gz | |
add quotes to avoid breaking RML's configure script
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1758,7 +1758,7 @@ SYSLIB=-l\$(1) ### How to build a static library MKLIB=${TOOLPREF}ar rc \$(1) \$(2); ${TOOLPREF}ranlib \$(1) -#ml let mklib out files opts = +#ml let mklib out files opts = (* "" *) #ml Printf.sprintf "${TOOLPREF}ar rc %s %s %s; ${TOOLPREF}ranlib %s" #ml out opts files out;; EOF |