diff --git a/camino.mk b/camino.mk index b44e01e5908..d96c35308b7 100644 --- a/camino.mk +++ b/camino.mk @@ -127,3 +127,5 @@ build: clean distclean: $(MAKE) -f client.mk $@ $(RM) -rf camino/build + +.PHONY: checkout real_checkout build clean distclean