Makefile.init
changeset 4511 6d2563823867
parent 4264 9885d35b2dae
child 4537 13a52cc6c94b
--- a/Makefile.init	Fri Feb 22 13:36:16 2013 +0100
+++ b/Makefile.init	Fri Feb 22 13:36:18 2013 +0100
@@ -15,5 +15,7 @@
 #only needed for the definition of $(TOP)
 include Make.proto
 
-makefile:
+makefile: mf
+
+mf:
 	$(TOP)/rules/stmkmf