diff options
| author | Anders Svensson <[email protected]> | 2012-10-06 13:04:38 +0200 |
|---|---|---|
| committer | Anders Svensson <[email protected]> | 2012-11-05 11:53:44 +0100 |
| commit | 7df9a580ea0c1421dd548cb41f5beb6605701ae3 (patch) | |
| tree | e31c820507fde2a2e82bda52dc8c41822e433402 /lib/diameter | |
| parent | bb9a5fd8ba4126283507ac843fda3c25861145cd (diff) | |
| download | otp-7df9a580ea0c1421dd548cb41f5beb6605701ae3.tar.gz otp-7df9a580ea0c1421dd548cb41f5beb6605701ae3.tar.bz2 otp-7df9a580ea0c1421dd548cb41f5beb6605701ae3.zip | |
Remove obsolete make target
There are plt/dialyze targets in src/Makefile.
Diffstat (limited to 'lib/diameter')
| -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) |