Merge pull request #299 from rgrinberg/set-default-goal-make

Set default goal explicitly in Makefile
2017-10-30 21:08:57 +08:00 · 2017-10-30 21:08:57 +08:00 · 0d4c1ede99
parent 4363fb0b12 d45db83387
commit 0d4c1ede99
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