diff options
| author | Damien Doligez <damien.doligez-inria.fr> | 2005-01-28 17:52:58 +0000 |
|---|---|---|
| committer | Damien Doligez <damien.doligez-inria.fr> | 2005-01-28 17:52:58 +0000 |
| commit | df6f81e16ca9847ff0cc50471adf8f649bc505be (patch) | |
| tree | f2783f0fe04776fc0ee8b8b7eac13486f7dd8d64 /utils/clflags.ml | |
| parent | 5f122919460e36f03c69d2b20181572592e12b71 (diff) | |
| download | ocaml-df6f81e16ca9847ff0cc50471adf8f649bc505be.tar.gz | |
PR#3328 option ocaml -init <fichier>
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6758 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'utils/clflags.ml')
| -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 4d79875653..e51e430c9a 100644 --- a/utils/clflags.ml +++ b/utils/clflags.ml @@ -39,6 +39,7 @@ and use_vmthreads = ref false (* -vmthread *) and noassert = ref false (* -noassert *) and verbose = ref false (* -verbose *) and noprompt = ref false (* -noprompt *) +and init_file = ref (None : string option) (* -init *) and use_prims = ref "" (* -use-prims ... *) and use_runtime = ref "" (* -use-runtime ... *) and principal = ref false (* -principal *) |