From e1bbfa221c144f06bce3ecdb01de3665341f18f7 Mon Sep 17 00:00:00 2001 From: Zaiming Shi Date: Thu, 10 Dec 2020 23:53:03 +0100 Subject: [PATCH] chore(build): fix duplicated Makefile targets --- Makefile | 8 -------- 1 file changed, 8 deletions(-) diff --git a/Makefile b/Makefile index 51f96243e..e34a5c254 100644 --- a/Makefile +++ b/Makefile @@ -19,14 +19,6 @@ ensure-rebar3: $(REBAR): ensure-rebar3 -.PHONY: xref -xref: $(REBAR) - $(REBAR) xref - -.PHONY: dialyzer -dialyzer: $(REBAR) - $(REBAR) dialyzer - .PHONY: distclean distclean: @rm -rf _build