# for internal testing purposes

all clean example:
	$(MAKE) -C device $@ CFLAGS_EXTRA=$(CFLAGS_EXTRA)