fixes per @dra27

ocaml · May 25, 2021 · 43da3dc · 43da3dc
1 parent 40e0a3f
commit 43da3dc
Showing 1 changed file with 1 addition and 3 deletions.
diff --git a/tools/Makefile b/tools/Makefile
@@ -93,7 +93,7 @@ OCAMLPROF=config.cmo build_path_prefix_map.cmo misc.cmo identifiable.cmo \
 ocamlprof$(EXE): $(OCAMLPROF)
 ocamlprof.opt$(EXE): $(call byte2native, $(OCAMLPROF))
 all: profiling.cmo
-allopt: profiling.cmx
+opt.opt: profiling.cmx
 
 OCAMLCP = config.cmo build_path_prefix_map.cmo misc.cmo profile.cmo \
           warnings.cmo identifiable.cmo numbers.cmo arg_helper.cmo \
@@ -106,8 +106,6 @@ ocamlcp.opt$(EXE): $(call byte2native, $(OCAMLCP) ocamlcp.cmo)
 ocamloptp$(EXE): $(OCAMLCP) ocamloptp.cmo
 ocamloptp.opt$(EXE): $(call byte2native, $(OCAMLCP) ocamloptp.cmo)
 
-opt:: profiling.cmx
-
 install::
 	$(INSTALL_DATA) \
 	  profiling.cmi profiling.cmo \