From 7df9a580ea0c1421dd548cb41f5beb6605701ae3 Mon Sep 17 00:00:00 2001 From: Anders Svensson Date: Sat, 6 Oct 2012 13:04:38 +0200 Subject: Remove obsolete make target There are plt/dialyze targets in src/Makefile. --- lib/diameter/Makefile.in | 10 +--------- 1 file changed, 1 insertion(+), 9 deletions(-) (limited to 'lib') diff --git a/lib/diameter/Makefile.in b/lib/diameter/Makefile.in index cf38c26045..046eb6ffee 100644 --- a/lib/diameter/Makefile.in +++ b/lib/diameter/Makefile.in @@ -59,7 +59,7 @@ else include $(DIAMETER_TOP)/make/subdir.mk endif -.PHONY: reconf conf info version dialyzer +.PHONY: reconf conf info version reconf: autoconf @@ -78,11 +78,3 @@ info: version: @echo "$(VSN)" - - -dialyzer: - (cd ./ebin; \ - dialyzer --build_plt \ - --output_plt ../priv/diameter.plt \ - -r ../../diameter/ebin \ - --verbose) -- cgit v1.2.3