genode/repos/base/mk/spec/release.mk

3 lines
49 B
Makefile

CC_OPT += -DGENODE_RELEASE
NIM_OPT += -d:release