From daa6c9b3fa9a62d3f6a1a696f67976e904d641b9 Mon Sep 17 00:00:00 2001 From: nsensfel Date: Wed, 6 Jun 2018 17:00:21 +0200 Subject: ... --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Makefile') diff --git a/Makefile b/Makefile index 1c121cc..d7ff210 100644 --- a/Makefile +++ b/Makefile @@ -99,7 +99,7 @@ else debug_run: $(MAKE) debug_rebuild $(DIALYZER_EXEC) --check_plt --plt $(DIALYZER_PLT_FILE) - $(DIALYZER_EXEC) --get_warnings $(ERL_SRC_FILES) \\ + $(DIALYZER_EXEC) --get_warnings $(ERL_SRC_FILES) \ --src --plt $(DIALYZER_PLT_FILE) endif -- cgit v1.2.3-70-g09d2