]> rtime.felk.cvut.cz Git - l4.git/blob - l4/tool/Makefile
fiasco: bootstrap: Use standard address 0x2d0000 to load the image.
[l4.git] / l4 / tool / Makefile
1 L4DIR ?= ..
2
3 # Be sure to add a "/" to config to make the target different from
4 # BID's "config" target
5 TARGET := $(wildcard config/ gendep elf-patcher)
6 TARGET_doc := $(wildcard gendep)
7
8 all::
9 doc:
10         $(if $(TARGET_doc), $(VERBOSE)set -e ; for d in $(TARGET_doc) ; do \
11                 PWD=$(PWD)/$$d $(MAKE) -C $$d $@ ; done )
12
13 include $(L4DIR)/mk/subdir.mk