aboutsummaryrefslogtreecommitdiffstats
path: root/lib/inets
diff options
context:
space:
mode:
Diffstat (limited to 'lib/inets')
-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 $@ \