diff options
| author | Sébastien Hinderer <Sebastien.Hinderer@inria.fr> | 2018-04-10 20:15:29 +0200 |
|---|---|---|
| committer | Sébastien Hinderer <Sebastien.Hinderer@inria.fr> | 2018-04-10 20:41:23 +0200 |
| commit | 487cc660aa695ddecbe75bfcbe61f3d7a447310e (patch) | |
| tree | ad3dd72bceb1cd4118cd7ec714eff463834190f6 /ocamltest/.depend | |
| parent | 797e88928fab3566dce7d259a1a5a83578ef8155 (diff) | |
| download | ocaml-487cc660aa695ddecbe75bfcbe61f3d7a447310e.tar.gz | |
ocamltest: introduce the use_runtime variable
This is used to disable the use of the "-use-runtime" command-line option.
Diffstat (limited to 'ocamltest/.depend')
| -rw-r--r-- | ocamltest/.depend | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/ocamltest/.depend b/ocamltest/.depend index 6ce69f6b2c..d2e018f291 100644 --- a/ocamltest/.depend +++ b/ocamltest/.depend @@ -87,11 +87,11 @@ ocaml_files.cmi : ocaml_filetypes.cmo : ocaml_backends.cmi ocaml_filetypes.cmi ocaml_filetypes.cmx : ocaml_backends.cmx ocaml_filetypes.cmi ocaml_filetypes.cmi : ocaml_backends.cmi -ocaml_flags.cmo : ocaml_files.cmi ocaml_directories.cmi ocaml_backends.cmi \ - ocaml_flags.cmi -ocaml_flags.cmx : ocaml_files.cmx ocaml_directories.cmx ocaml_backends.cmx \ - ocaml_flags.cmi -ocaml_flags.cmi : ocaml_backends.cmi +ocaml_flags.cmo : ocaml_variables.cmi ocaml_files.cmi ocaml_directories.cmi \ + ocaml_backends.cmi environments.cmi ocaml_flags.cmi +ocaml_flags.cmx : ocaml_variables.cmx ocaml_files.cmx ocaml_directories.cmx \ + ocaml_backends.cmx environments.cmx ocaml_flags.cmi +ocaml_flags.cmi : ocaml_backends.cmi environments.cmi ocaml_modifiers.cmo : ocamltest_stdlib.cmi ocamltest_config.cmi \ ocaml_variables.cmi environments.cmi ocaml_modifiers.cmi ocaml_modifiers.cmx : ocamltest_stdlib.cmx ocamltest_config.cmx \ |