diff options
| author | Damien Doligez <damien.doligez@inria.fr> | 2015-12-02 12:18:41 +0100 |
|---|---|---|
| committer | Damien Doligez <damien.doligez@inria.fr> | 2015-12-21 14:27:46 +0100 |
| commit | c9003ac48fb1689eb0710bda885a8c025527aa65 (patch) | |
| tree | cf59335089609fb8a42bbdb0e18ea637dfb49849 /tools | |
| parent | 0225ca01e39289ce1801fb09cd011cdbfb542b8d (diff) | |
| download | ocaml-c9003ac48fb1689eb0710bda885a8c025527aa65.tar.gz | |
fix huge pages vs renaming of caml_stat_heap_size
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/.depend | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/tools/.depend b/tools/.depend index 626cdc6af2..8a06516ed6 100644 --- a/tools/.depend +++ b/tools/.depend @@ -19,11 +19,11 @@ cmt2annot.cmx : ../typing/untypeast.cmx ../typing/types.cmx \ cvt_emit.cmo : cvt_emit.cmx : depend.cmo : ../parsing/parsetree.cmi ../utils/misc.cmi \ - ../parsing/longident.cmi ../parsing/location.cmi ../parsing/asttypes.cmi \ - depend.cmi + ../parsing/longident.cmi ../parsing/location.cmi ../utils/clflags.cmi \ + ../parsing/asttypes.cmi depend.cmi depend.cmx : ../parsing/parsetree.cmi ../utils/misc.cmx \ - ../parsing/longident.cmx ../parsing/location.cmx ../parsing/asttypes.cmi \ - depend.cmi + ../parsing/longident.cmx ../parsing/location.cmx ../utils/clflags.cmx \ + ../parsing/asttypes.cmi depend.cmi dumpobj.cmo : ../utils/tbl.cmi opnames.cmo ../bytecomp/opcodes.cmo \ ../parsing/location.cmi ../bytecomp/lambda.cmi ../bytecomp/instruct.cmi \ ../typing/ident.cmi ../utils/config.cmi ../bytecomp/cmo_format.cmi \ |