diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 1996-09-09 12:37:18 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 1996-09-09 12:37:18 +0000 |
| commit | 2981acda781f91dba9028e04b35c53b47258a33f (patch) | |
| tree | 484e1c788db9c378e76733953494f51ccfe98d8e | |
| parent | b1df74197d37260c7427e5eceebffb53dfcc8b1b (diff) | |
Ajout flag -thread.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@974 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -rw-r--r-- | utils/clflags.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/utils/clflags.ml b/utils/clflags.ml index 4b31212f6..708fe2405 100644 --- a/utils/clflags.ml +++ b/utils/clflags.ml @@ -28,6 +28,7 @@ and custom_runtime = ref false (* -custom *) and ccopts = ref ([] : string list) (* -ccopt *) and nopervasives = ref false (* -nopervasives *) and preprocessor = ref(None : string option) (* -pp *) +and thread_safe = ref false (* -thread *) let dump_rawlambda = ref false (* -drawlambda *) and dump_lambda = ref false (* -dlambda *) |