From d45db83387f4d0105f6897f7983a9304c8e77ce6 Mon Sep 17 00:00:00 2001
From: Rudi Grinberg <rudi.grinberg@gmail.com>
Date: Sun, 29 Oct 2017 17:40:48 +0800
Subject: [PATCH] Set default goal explicitly in Makefile

In case new rules are introduced in Makefile.dev
---
 Makefile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Makefile b/Makefile
index 85bdcf24..79a7073f 100644
--- a/Makefile
+++ b/Makefile
@@ -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