diff --git a/Makefile b/Makefile
index c502d2c793..1c86bf6697 100644
--- a/Makefile
+++ b/Makefile
@@ -137,7 +137,7 @@ real-all: config
 
 else
 
-include $(HAVE_DOTCONFIG)
+include $(DOTCONFIG)
 
 -include .xcompile