aboutsummaryrefslogtreecommitdiffstats
path: root/lib/snmp/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'lib/snmp/Makefile')
-rw-r--r--lib/snmp/Makefile10
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