Makefile.init
author Claus Gittinger <cg@exept.de>
Sat, 21 Jul 2012 18:58:03 +0200
changeset 2898 c7f6c498df6a
parent 2731 582f4a766e19
child 2980 0756e01d5954
permissions -rw-r--r--
category of:15 methods
     1 #
     2 # DO NOT EDIT 
     3 #
     4 # make uses this file (Makefile) only, if there is no 
     5 # file named "makefile" (lower-case m) in the same directory.
     6 # My only task is to generate the real makefile and call make again.
     7 # Thereafter, I am no longer used and needed.
     8 #
     9 
    10 .PHONY: run
    11 
    12 run: makefile
    13 	$(MAKE) -f makefile
    14 
    15 #only needed for the definition of $(TOP)
    16 include Make.proto
    17 
    18 makefile:
    19 	$(TOP)/rules/stmkmf