all: %: $(MAKE) -C build $@ clean: rm -f Makefile rm -rf build install: extension-install # keep a tab to do nothing for install extension-install: $(MAKE) -C build $@