genode/base/mk/spec-32bit.mk

5 lines
66 B
Makefile
Raw Normal View History

2011-12-22 15:19:25 +00:00
#
# 32-bit-specific Genode headers
#
REP_INC_DIR += include/32bit