Makefile
changeset 15137 e7104b6ad825
parent 14927 bd3e16b12e11
child 18053 e0683b878c4c
--- a/Makefile	Thu Apr 25 09:23:45 2013 +0200
+++ b/Makefile	Thu Apr 25 09:23:47 2013 +0200
@@ -1,22 +1,20 @@
 #
-# DO NOT EDIT 
-# automagically generated from Make.proto (by make mf)
+# DO NOT EDIT
+#
+# make uses this file (Makefile) only, if there is no
+# file named "makefile" (lower-case m) in the same directory.
+# My only task is to generate the real makefile and call make again.
+# Thereafter, I am no longer used and needed.
 #
-include ../rules/stdHeader
-include ../configurations/COMMON/defines
-include ../configurations/vendorConf
-include ../configurations/myConf
-include ../rules/stdHeader2
-include Make.spec
+
+.PHONY: run
+
+run: makefile
+	$(MAKE) -f makefile
+
+#only needed for the definition of $(TOP)
 include Make.proto
 
-BASE_CONF=osx_x
-BASE_CONF_VENDOR=mac
-CONF_PACKS=
-CONF_TOOLS=
-
-include ../rules/stdRules
-
 makefile: mf
 
 mf: