diff options
| author | Alain Frisch <alain@frisch.fr> | 2007-06-11 13:29:56 +0000 |
|---|---|---|
| committer | Alain Frisch <alain@frisch.fr> | 2007-06-11 13:29:56 +0000 |
| commit | 54dfe347f6e0704938424b77e95b697fe39f5e73 (patch) | |
| tree | 666c74663d43d38f716c80001ece3043a70242cf | |
| parent | 97fcbed5d648cd1cdcb317a45a482eadd67b7151 (diff) | |
| download | ocaml-54dfe347f6e0704938424b77e95b697fe39f5e73.tar.gz | |
flexlink is not a Cygwin program -> need diversion
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/natdynlink@8334 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -rw-r--r-- | utils/ccomp.ml | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/utils/ccomp.ml b/utils/ccomp.ml index c4e325c60b..459eb7f216 100644 --- a/utils/ccomp.ml +++ b/utils/ccomp.ml @@ -38,11 +38,15 @@ let build_diversion lst = at_exit (fun () -> Misc.remove_file responsefile); "@" ^ responsefile +let need_diversion = match Sys.os_type with + | "Win32" | "Cygwin" -> true + | _ -> false + let quote_files lst = let s = String.concat " " (List.map (fun f -> if f = "" then f else Filename.quote f) lst) in - if Sys.os_type = "Win32" && String.length s >= 256 + if String.length s >= 256 && need_diversion then build_diversion lst else s |