From 3a540a0069ee419664954978f0ccd56dd4235b66 Mon Sep 17 00:00:00 2001 From: Micael Karlberg Date: Wed, 23 Nov 2011 17:23:22 +0100 Subject: Forgot to rename plt target... --- lib/inets/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'lib/inets/Makefile') 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 $@ \ -- cgit v1.2.3