genode/repos/base-sel4/mk/spec/sel4.mk

10 lines
200 B
Makefile
Raw Normal View History

2014-10-15 12:48:45 +00:00
LD_TEXT_ADDR ?= 0x01000000
2014-10-15 16:11:17 +00:00
#
# Clean rule for removing the side effects of building the platform library
#
clean_includes:
$(VERBOSE)rm -rf $(BUILD_BASE_DIR)/include
clean cleanall: clean_includes