author | Claus Gittinger <cg@exept.de> |
Thu, 24 Sep 2009 10:42:42 +0200 | |
changeset 12020 | bf2165daff68 |
parent 9027 | 2a1f5072b3f3 |
child 12441 | 0a6d562c9f18 |
child 17735 | 6a5bc05f696a |
permissions | -rw-r--r-- |
# # DO NOT EDIT # # make uses this file (Makefile) only, if there is no # file named "makefile" in the directory. # Our only task is to generate makefile and call make again # .PHONY: run run: makefile $(MAKE) -f makefile #only needed for the definition of $(TOP) include Make.proto makefile: $(TOP)/rules/stmkmf