aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorMicael Karlberg <[email protected]>2011-11-23 17:23:22 +0100
committerMicael Karlberg <[email protected]>2011-11-23 17:23:22 +0100
commit3a540a0069ee419664954978f0ccd56dd4235b66 (patch)
tree153184b3957da9ff97bd62b09a91c43a4b1317e3
parenta42bf8a5f11dcc5e35685951964a293a0e9ee6a4 (diff)
downloadotp-3a540a0069ee419664954978f0ccd56dd4235b66.tar.gz
otp-3a540a0069ee419664954978f0ccd56dd4235b66.tar.bz2
otp-3a540a0069ee419664954978f0ccd56dd4235b66.zip
Forgot to rename plt target...
-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 $@ \