diff options
| -rw-r--r-- | lib/diameter/Makefile.in | 10 |
1 files changed, 1 insertions, 9 deletions
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) |