| summaryrefslogtreecommitdiff |
diff options
| author | nsensfel <SpamShield0@noot-noot.org> | 2019-01-11 17:43:14 +0100 |
|---|---|---|
| committer | nsensfel <SpamShield0@noot-noot.org> | 2019-01-11 17:43:14 +0100 |
| commit | 992c6788db73837a503bdc3c8f8a17d6357c224e (patch) | |
| tree | ae3d5a9fe441e9e889c408f9737ba3a6612374b7 /Makefile | |
| parent | e8ab45f453bf095a09672c1685315d8d52472f11 (diff) | |
Got Dialyzer to yell at me again! Yay!
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -138,7 +138,7 @@ $(DIALYZER_BASE_PLT_FILE): debug_run: $(DIALYZER_BASE_PLT_FILE) $(MAKE) debug_rebuild cp $< $(DIALYZER_PLT_FILE) - $(DIALYZER_EXEC) --add_to_plt --plt $(DIALYZER_PLT_FILE) -r $(BIN_DIR) + $(DIALYZER_EXEC) --add_to_plt --get_warnings --plt $(DIALYZER_PLT_FILE) -r $(BIN_DIR) $(DIALYZER_EXEC) --check_plt --plt $(DIALYZER_PLT_FILE) $(DIALYZER_EXEC) --get_warnings $(ERL_SRC_FILES) $(PREPROCESSED_ERL_SRC_FILES)\ --src --plt $(DIALYZER_PLT_FILE) |