From f7b1b518721f8fc91c7357de7f4a3ea457d98839 Mon Sep 17 00:00:00 2001 From: Phillip Toland Date: Tue, 3 Mar 2009 12:17:44 -0600 Subject: [PATCH] Added a Rake task for running dialyzer --- Rakefile | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/Rakefile b/Rakefile index f74974f..037b5a0 100644 --- a/Rakefile +++ b/Rakefile @@ -21,3 +21,12 @@ task :package do Dir.mkdir "#{target_dir}/priv/bin" FileUtils.cp_r Dir.glob('c_src/system/bin/*'), "#{target_dir}/priv/bin", :verbose => false end + +task :dialyzer do + sh "dialyzer -Iinclude -c ebin/bdberl.beam\ + -Werror_handling\ + -Wunmatched_returns\ + -Wunderspecs\ + -Woverspecs\ + -Wspecdiffs | tee dialyzer.log" +end