diff --git a/Makefile b/Makefile index 76bb63c..693c078 100644 --- a/Makefile +++ b/Makefile @@ -6,7 +6,10 @@ all: test: for d in $(DIRS); do make -C $$d test; done +ip: + make -C ip + clean: for d in $(DIRS); do make -C $$d clean; done -.PHONY: all test clean +.PHONY: all test ip clean