diff options
| author | Pierre Chambart <pierre.chambart@ocamlpro.com> | 2016-01-12 18:01:25 +0100 |
|---|---|---|
| committer | Pierre Chambart <pierre.chambart@ocamlpro.com> | 2016-01-12 18:01:25 +0100 |
| commit | 38ce618089094c40c5102bbf0fb2621125a2af43 (patch) | |
| tree | 531495f9f9016fb874e82ecb9084b25afbfa73d4 /tools/Makefile.shared | |
| parent | 1579d4aa09a26b348c368d3d0eeaa997d2f799fa (diff) | |
| download | ocaml-38ce618089094c40c5102bbf0fb2621125a2af43.tar.gz | |
Make the Ident module identifiable
Diffstat (limited to 'tools/Makefile.shared')
| -rw-r--r-- | tools/Makefile.shared | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/tools/Makefile.shared b/tools/Makefile.shared index e648b30fb0..df2372a875 100644 --- a/tools/Makefile.shared +++ b/tools/Makefile.shared @@ -224,7 +224,8 @@ DUMPOBJ=opnames.cmo dumpobj.cmo dumpobj: $(DUMPOBJ) $(CAMLC) $(LINKFLAGS) -o dumpobj \ - misc.cmo tbl.cmo config.cmo ident.cmo \ + misc.cmo identifiable.cmo numbers.cmo \ + tbl.cmo config.cmo ident.cmo \ opcodes.cmo bytesections.cmo $(DUMPOBJ) clean:: |