genode/base/mk/spec-32bit.mk
2011-12-22 16:19:25 +01:00

5 lines
66 B
Makefile

#
# 32-bit-specific Genode headers
#
REP_INC_DIR += include/32bit