aboutsummaryrefslogtreecommitdiffstats
path: root/lib
diff options
context:
space:
mode:
authorMicael Karlberg <[email protected]>2011-11-23 17:24:08 +0100
committerMicael Karlberg <[email protected]>2011-11-23 17:24:08 +0100
commit191807cea0a8ac390f0d54e2a4b970f0de7548ae (patch)
treed43092437b30c75ee57cb2567303f68551fff4ed /lib
parent549e669d4d8ab5229c1d561c5bdd3301ea1db094 (diff)
parent3a540a0069ee419664954978f0ccd56dd4235b66 (diff)
downloadotp-191807cea0a8ac390f0d54e2a4b970f0de7548ae.tar.gz
otp-191807cea0a8ac390f0d54e2a4b970f0de7548ae.tar.bz2
otp-191807cea0a8ac390f0d54e2a4b970f0de7548ae.zip
Merge branch 'bmk/inets/own_dialyzer_plt' into bmk/inets/inets58_integration2
Diffstat (limited to 'lib')
-rw-r--r--lib/inets/Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/inets/Makefile b/lib/inets/Makefile
index fd22c65ddb..d837a3396a 100644
--- a/lib/inets/Makefile
+++ b/lib/inets/Makefile
@@ -62,7 +62,7 @@ dclean:
dialyzer_plt: $(DIA_PLT)
-$(INETS_DIA_PLT):
+$(DIA_PLT):
@echo "Building $(APPLICATION) plt file"
@dialyzer --build_plt \
--output_plt $@ \