diff --git a/core/main.mk b/core/main.mk
index 6516fa6..f7a5193 100644
--- a/core/main.mk
+++ b/core/main.mk
@@ -871,3 +871,7 @@
 .PHONY: showcommands
 showcommands:
 	@echo >/dev/null
+
+.PHONY: nothing
+nothing:
+	@echo Successfully read the makefiles.