| summaryrefslogtreecommitdiff |
diff options
| author | nsensfel <SpamShield0@noot-noot.org> | 2018-02-27 14:16:16 +0100 |
|---|---|---|
| committer | nsensfel <SpamShield0@noot-noot.org> | 2018-02-27 14:16:16 +0100 |
| commit | 292022649270d36c8ab0c813e4d7e07f3e067231 (patch) | |
| tree | 8e25f8c3e5db7f6bae7001d405f24e29115750f3 /Makefile | |
| parent | be9a65dd6d24ca8e7006c0b8825a3fa46419e201 (diff) | |
Starting to specify types everywhere...
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -35,7 +35,8 @@ all: debug: $(DIALYZER_PLT_FILE) $(MAKE) build_debug $(DIALYZER) --check_plt --plt $(DIALYZER_PLT_FILE) - $(DIALYZER) --get_warnings -r $(BIN_DIR) --plt $(DIALYZER_PLT_FILE) + $(DIALYZER) --get_warnings $(SRC_DIR)/*.erl $(SRC_DIR)/*/*.erl \ + --src --plt $(DIALYZER_PLT_FILE) -Wunderspecs build_debug: $(MAKE) clean |