Makefile
changeset 14823 63eb290a5988
parent 13432 4327f19a7eb5
child 14927 bd3e16b12e11
child 18027 3621469cc5e8
--- a/Makefile	Mon Mar 04 13:43:19 2013 +0100
+++ b/Makefile	Mon Mar 04 13:43:21 2013 +0100
@@ -15,5 +15,7 @@
 #only needed for the definition of $(TOP)
 include Make.proto
 
-makefile:
+makefile: mf
+
+mf:
 	$(TOP)/rules/stmkmf