diff --git a/Makefile b/Makefile index 1eecdab65c2f..190934276f18 100644 --- a/Makefile +++ b/Makefile @@ -427,8 +427,7 @@ restore: .PHONY: compare compare: @if $(CAMLRUN) tools/cmpbyt boot/ocamlc ocamlc \ - && $(CAMLRUN) tools/cmpbyt boot/ocamllex lex/ocamllex \ - && $(CAMLRUN) tools/cmpbyt boot/ocamldep tools/ocamldep; \ + && $(CAMLRUN) tools/cmpbyt boot/ocamllex lex/ocamllex; \ then echo "Fixpoint reached, bootstrap succeeded."; \ else echo "Fixpoint not reached, try one more bootstrapping cycle."; \ fi @@ -440,7 +439,6 @@ promote-cross: $(CAMLRUN) tools/stripdebug ocamlc boot/ocamlc $(CAMLRUN) tools/stripdebug lex/ocamllex boot/ocamllex cp yacc/ocamlyacc$(EXE) boot/ocamlyacc$(EXE) - $(CAMLRUN) tools/stripdebug tools/ocamldep boot/ocamldep cd stdlib; cp $(LIBFILES) ../boot # Promote the newly compiled system to the rank of bootstrap compiler diff --git a/boot/ocamldep b/boot/ocamldep deleted file mode 100755 index c09a049ff059..000000000000 Binary files a/boot/ocamldep and /dev/null differ