%:
	$(MAKE) -C infra/dev $*
