diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2004-06-20 15:26:06 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2004-06-20 15:26:06 +0000 |
| commit | e5ff19843c1a11acb12f8e6b8d81f9b536f99f98 (patch) | |
| tree | 0a1e675f1514cd5c597423858835679170b19d85 /tools/Makefile | |
| parent | ab4160d21bcb9164ab15c0c461f41b3de55d73ac (diff) | |
| download | ocaml-e5ff19843c1a11acb12f8e6b8d81f9b536f99f98.tar.gz | |
Entree intfinfo obsolete (PR#2601)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6425 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'tools/Makefile')
| -rw-r--r-- | tools/Makefile | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/tools/Makefile b/tools/Makefile index 8024944146..9bc1646efd 100644 --- a/tools/Makefile +++ b/tools/Makefile @@ -224,14 +224,6 @@ objinfo: objinfo.cmo clean:: rm -f objinfo -# Print imported interfaces for .cmi files - -intfinfo: intfinfo.cmo - $(CAMLC) $(LINKFLAGS) -o intfinfo config.cmo intfinfo.cmo - -clean:: - rm -f intfinfo - # Scan object files for required primitives PRIMREQ=primreq.cmo |