summaryrefslogtreecommitdiff
path: root/utils/clflags.ml
diff options
context:
space:
mode:
authorAlain Frisch <alain@frisch.fr>2007-11-06 15:16:56 +0000
committerAlain Frisch <alain@frisch.fr>2007-11-06 15:16:56 +0000
commit3958a92c729c6588bdd4a39d6d8bc5dadb00b3de (patch)
treed1cb483d1cfed72c42cd3311ae735784bfbe5d13 /utils/clflags.ml
parent2a99b8737bd88e4af552da873ce904a684c631ae (diff)
downloadocaml-3958a92c729c6588bdd4a39d6d8bc5dadb00b3de.tar.gz
Merge the natdynlink branch into HEAD.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8477 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'utils/clflags.ml')
-rw-r--r--utils/clflags.ml4
1 files changed, 4 insertions, 0 deletions
diff --git a/utils/clflags.ml b/utils/clflags.ml
index cda46bd2ef..b4ac5f47ee 100644
--- a/utils/clflags.ml
+++ b/utils/clflags.ml
@@ -88,3 +88,7 @@ let std_include_flag prefix =
let std_include_dir () =
if !no_std_include then [] else [Config.standard_library]
;;
+
+let shared = ref false (* -shared *)
+let dlcode = ref false (* -dlcode *)
+