diff options
| author | Micael Karlberg <[email protected]> | 2011-11-23 17:24:08 +0100 |
|---|---|---|
| committer | Micael Karlberg <[email protected]> | 2011-11-23 17:24:08 +0100 |
| commit | 191807cea0a8ac390f0d54e2a4b970f0de7548ae (patch) | |
| tree | d43092437b30c75ee57cb2567303f68551fff4ed /lib/inets/Makefile | |
| parent | 549e669d4d8ab5229c1d561c5bdd3301ea1db094 (diff) | |
| parent | 3a540a0069ee419664954978f0ccd56dd4235b66 (diff) | |
| download | otp-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/inets/Makefile')
| -rw-r--r-- | lib/inets/Makefile | 2 |
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 $@ \ |