%: $(MAKE) -C WM/ $@ $(MAKE) -C Shell_src/ $@