diff options
| author | Micael Karlberg <bmk@erlang.org> | 2011-11-23 17:23:22 +0100 |
|---|---|---|
| committer | Micael Karlberg <bmk@erlang.org> | 2011-11-23 17:23:22 +0100 |
| commit | 3a540a0069ee419664954978f0ccd56dd4235b66 (patch) | |
| tree | 153184b3957da9ff97bd62b09a91c43a4b1317e3 /lib/inets/Makefile | |
| parent | a42bf8a5f11dcc5e35685951964a293a0e9ee6a4 (diff) | |
| download | erlang-3a540a0069ee419664954978f0ccd56dd4235b66.tar.gz | |
Forgot to rename plt target...
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 $@ \ |