diff options
| author | Micael Karlberg <[email protected]> | 2019-06-12 09:41:56 +0200 |
|---|---|---|
| committer | Micael Karlberg <[email protected]> | 2019-06-27 17:50:41 +0200 |
| commit | 2b285f1dddc89ac2b4194c16bdb3cc92a89c9976 (patch) | |
| tree | 5b66f128ea60588f215fcd362b6ddb83fd8676b5 /lib/snmp/Makefile | |
| parent | 3faa598e44f95db1521102cebe2bc862ec46083b (diff) | |
| download | otp-2b285f1dddc89ac2b4194c16bdb3cc92a89c9976.tar.gz otp-2b285f1dddc89ac2b4194c16bdb3cc92a89c9976.tar.bz2 otp-2b285f1dddc89ac2b4194c16bdb3cc92a89c9976.zip | |
[snmp] Dialyzer fixes
Make target (for running dialyzer on snmp), os usage
and a minor snmp_log ("future proofing").
OTP-15932
Diffstat (limited to 'lib/snmp/Makefile')
| -rw-r--r-- | lib/snmp/Makefile | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/lib/snmp/Makefile b/lib/snmp/Makefile index 879f1b05c5..f73335d57e 100644 --- a/lib/snmp/Makefile +++ b/lib/snmp/Makefile @@ -136,11 +136,17 @@ dclean: dialyzer_plt: $(DIA_PLT) -$(DIA_PLT): +$(DIA_PLT): Makefile @echo "Building $(APPLICATION) plt file" @dialyzer --build_plt \ --output_plt $@ \ -r ../$(APPLICATION)/ebin \ + ../../lib/kernel/ebin \ + ../../lib/stdlib/ebin \ + ../../lib/runtime_tools/ebin \ + ../../lib/crypto/ebin \ + ../../lib/mnesia/ebin \ + ../../erts/preloaded/ebin \ --output $(DIA_ANALYSIS) \ --verbose @@ -148,4 +154,4 @@ dialyzer: $(DIA_PLT) @echo "Running dialyzer on $(APPLICATION)" @dialyzer --plt $< \ ../$(APPLICATION)/ebin \ - --verbose
\ No newline at end of file + --verbose |