summaryrefslogtreecommitdiff
path: root/utils/clflags.ml
diff options
context:
space:
mode:
authorDamien Doligez <damien.doligez-inria.fr>2008-12-03 18:09:09 +0000
committerDamien Doligez <damien.doligez-inria.fr>2008-12-03 18:09:09 +0000
commit1f95b175707ec490f8bf08c6c28f2dee203818cb (patch)
treef004cd5ba13d81b1182b65def6f3e20c6bda3798 /utils/clflags.ml
parentc52e649d83e34967da0fd2a70faf5c91070c8a91 (diff)
downloadocaml-1f95b175707ec490f8bf08c6c28f2dee203818cb.tar.gz
merge changes from 3.10.2merged to 3.11.0
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9153 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'utils/clflags.ml')
-rw-r--r--utils/clflags.ml3
1 files changed, 1 insertions, 2 deletions
diff --git a/utils/clflags.ml b/utils/clflags.ml
index 94494dac4a..38445235cf 100644
--- a/utils/clflags.ml
+++ b/utils/clflags.ml
@@ -46,7 +46,7 @@ and principal = ref false (* -principal *)
and recursive_types = ref false (* -rectypes *)
and make_runtime = ref false (* -make_runtime *)
and gprofile = ref false (* -p *)
-and c_compiler = ref Config.bytecomp_c_compiler (* -cc *)
+and c_compiler = ref (None: string option) (* -cc *)
and no_auto_link = ref false (* -noautolink *)
and dllpaths = ref ([] : string list) (* -dllpath *)
and make_package = ref false (* -pack *)
@@ -90,4 +90,3 @@ let std_include_dir () =
let shared = ref false (* -shared *)
let dlcode = ref true (* not -nodynlink *)
-