Set default goal explicitly in Makefile

In case new rules are introduced in Makefile.dev
2017-10-29 17:40:48 +08:00 · 2017-10-29 17:40:48 +08:00 · d45db83387
parent 27cbf1de38
commit d45db83387
1 changed files with 1 additions and 0 deletions
--- a/1
+++ b/1
@ -57,5 +57,6 @@ accept-corrections:
 	  cp $$i $${i/.corrected}; \
 	done

+.DEFAULT_GOAL := default
 .PHONY: default install uninstall reinstall clean test doc
 .PHONY: accept-corrections