diff --git a/Makefile b/Makefile
index 0c00ba947..5aa590d0f 100644
--- a/Makefile
+++ b/Makefile
@@ -5,6 +5,9 @@
 # LICENSE file in the root directory of this source tree. An additional grant
 # of patent rights can be found in the PATENTS file in the same directory.
 
+.PHONY: default
+default: infer
+
 ROOT_DIR = .
 include $(ROOT_DIR)/Makefile.config
 
@@ -92,9 +95,6 @@ build_waf_test: build_make_test
 build_waf_print: build_make_print
 endif
 
-.PHONY: all
-all: infer
-
 ifeq ($(IS_INFER_RELEASE),no)
 configure: configure.ac $(wildcard m4/*.m4)
 #	rerun ./autogen.sh in case of failure as the failure may be due to needing to rerun