diff --git a/core/main.mk b/core/main.mk
index 49367ec..5f94c63 100644
--- a/core/main.mk
+++ b/core/main.mk
@@ -903,3 +903,7 @@
 .PHONY: showcommands
 showcommands:
 	@echo >/dev/null
+
+.PHONY: nothing
+nothing:
+	@echo Successfully read the makefiles.